bool_int_mixed_2.sol « smtCheckerTests « libsolidity « test - dexon-solidity - DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)

about summary refs log tree commit diff stats

path: root/test/libsolidity/smtCheckerTests/bool_int_mixed_2.sol

blob: 24640c5a8b5aabb47c43da02f85ace5847b9e253 (plain) (blame)

pragma experimental SMTChecker;
contract C {
    function f(bool x, uint a) public pure {
        require(!x || a > 0);
        uint b = a;
        assert(!x || b > 0);
    }
}