pragma solidity ^0.5.0; contract Test { function a(uint x) public { if (x == 1) { revert(); } else x = 5; } }