solidity-coverage/test/sources/solidity/contracts/modifiers/postconditions.sol

pragma solidity >=0.8.0 <0.9.0;

contract Test {
    bool precondition = true;
    bool postcondition = true;

    modifier m {
      require(precondition);
      _;
      require(postcondition);
    }

    function flip_precondition() public {
      precondition = !precondition;
    }

    function flip_postcondition() public {
      postcondition = !postcondition;
    }

    function a() m public {
      uint x = 5;
    }
}