/test/libsolidity/smtCheckerTests/overflow/
../
simple_overflow.sol