Leonardo Alt 123d0857c5 [SMTChecker] Move tests that contain division to boost tests

2019-02-20 12:17:03 +01:00

..

overflow_mul_signed.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

overflow_mul.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

overflow_sum_signed.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

overflow_sum.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

safe_add_1.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

safe_add_2.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

safe_sub_1.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

simple_overflow.sol

add a 'readable' format for large hex values

2018-12-05 22:15:02 +01:00

underflow_sub_signed.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00

underflow_sub.sol

[SMTChecker] Only check for overflow/underflow in the end of the function

2019-02-18 23:55:58 +01:00