assignment_in_declaration.sol « control_flow « 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/control_flow/assignment_in_declaration.sol

blob: 0c701672d0fdb02c899ff760cbb8d9c8a4658c84 (plain) (blame)

pragma experimental SMTChecker;
contract C {
    function f() public pure { uint a = 2; assert(a == 2); }
}