aboutsummaryrefslogtreecommitdiffstats
path: root/test/libsolidity/smtCheckerTests/assignment_in_declaration.sol
blob: 0c701672d0fdb02c899ff760cbb8d9c8a4658c84 (plain) (blame)
1
2
3
4
pragma experimental SMTChecker;
contract C {
    function f() public pure { uint a = 2; assert(a == 2); }
}