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