solidity/test/libsolidity/smtCheckerTestsJSON/simple.sol

12 lines
184 B
Solidity
Raw Normal View History

==== Source: A ====
2018-11-15 15:47:52 +00:00
pragma experimental SMTChecker;
contract C
{
function f(uint x) public pure {
assert(x > 0);
}
}
// ----
// Warning: (82-95): Assertion violation happens here