solidity/test/libsolidity/smtCheckerTestsJSON/simple.sol

mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
==== Source: A ====
pragma experimental SMTChecker;

contract C
{
	function f(uint x) public pure {
		assert(x > 0);
	}
}
// ----
// Warning: (82-95): Assertion violation happens here
Support multiple sources for syntax tests. 2019-08-16 12:50:31 +00:00			`==== Source: A ====`
Add SMTChecker tests for standard JSON 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`