chriseth a9f9b4db27 Merge pull request #9872 from ethereum/smt_remove_tests ... Extract boost smt and remove unused tests		2020-09-24 13:20:19 +02:00
..
array_members	[SMTChecker] Change warning message	2020-09-09 16:14:21 +02:00
complex	[SMTChecker] Change warning message	2020-09-09 16:14:21 +02:00
control_flow	Update tests	2020-09-22 20:51:28 +02:00
external_calls	Update tests	2020-09-22 20:51:28 +02:00
functions	Update tests	2020-09-22 20:51:28 +02:00
imports	Extract boost smt and remove unused tests	2020-09-23 17:55:55 +02:00
inheritance	[SMTChecker] Change warning message	2020-09-09 16:14:21 +02:00
inline_assembly	Added error codes to SyntaxTest expectations (updated tests)	2020-06-22 16:51:47 +02:00
invariants	Readd SMTChecker tests	2020-09-14 23:44:13 +02:00
loops	[SMTChecker] Decrease rlimit	2020-09-23 19:28:47 +02:00
modifiers	[SMTChecker] Support address type conversion with literals	2020-09-22 18:49:11 +01:00
operators	[SMTChecker] Decrease rlimit	2020-09-23 19:28:47 +02:00
overflow	[SMTChecker] Change warning message	2020-09-09 16:14:21 +02:00
simple	[SMTChecker] Shortcut RationalNumber expressions	2019-03-11 12:53:49 +01:00
special	Update tests	2020-09-22 20:51:28 +02:00
typecast	Update tests	2020-09-22 20:51:28 +02:00
types	[SMTChecker] Support address type conversion with literals	2020-09-22 18:49:11 +01:00
verification_target	[SMTChecker] Support revert()	2020-09-15 11:46:33 +01:00