1 2 3 4 5 6 7
pragma experimental SMTChecker; contract C { function f(bool x) public pure { bool y = x; assert(x == y); } }