29 Commits

Author	SHA1	Message	Date
liangdzou	808c3f3df5	fix some format typos	2018-09-17 22:13:21 +08:00
Leonardo Alt	90f319615f	SMT model variables are sorted and printed as secondary source location	2018-08-01 23:27:46 +02:00
Chase McDermott	f48d01d066	Added default data locations to parameters for end to end tests.	2018-07-16 14:18:16 +02:00
Alex Beregszaszi	c7f842d4cc	Do not change SMT tests	2018-06-25 16:17:50 +02:00
Jason Cobb	98c9ca2575	Update tests for strict address literals	2018-06-25 16:17:50 +02:00
Leonardo Alt	8862b3092b	C99 scoping rules by default	2018-06-20 12:53:38 +02:00
Leonardo Alt	0b6eea0c55	Bool variables should not allow arithmetic comparison	2018-05-16 18:32:47 +02:00
Leonardo Alt	a0b42105e4	Testing state vars that are declared after functions that use them	2018-05-15 14:28:08 +02:00
Leonardo Alt	4117e859eb	[SMTChecker] Declaring all state vars before any function is visited	2018-05-15 14:28:08 +02:00
Leonardo Alt	2dbb35d4a8	[SMTChecker] Support to integer and Bool storage vars	2018-05-15 14:22:50 +02:00
chriseth	8debded743	Revert "BREAKING: Bool variables should not allow arithmetic comparison"	2018-05-02 15:56:59 +02:00
Leonardo Alt	ab251c7e7d	Bool variables should not allow arithmetic comparison	2018-04-27 11:35:58 +02:00
Leonardo Alt	c2d26eb6a2	[SMTChecker_Bool] Fix PR comments; Add support to gt, ge, lt, le. and tests.	2018-03-12 20:16:47 +01:00
Leonardo Alt	6a940f0a99	[SMTChecker] Support to Bool variables	2018-03-12 20:16:47 +01:00
chriseth	69f5f2eb65	Adjust tests.	2018-02-27 12:17:25 +01:00
chriseth	c182284d28	Do not warn about analysis-only experimental features.	2018-02-22 14:50:20 +01:00
chriseth	676cf52264	Support searching inside multiple errors.	2018-02-12 16:41:31 +01:00
Leonardo Alt	d0abc5359b	[SMTChecker] Variables are merged after branches (ite variables)	2018-01-04 18:20:12 +01:00
Alex Beregszaszi	b32d7a84fc	Move some struct tests to require ABIEncoderV2	2017-12-11 02:42:09 +00:00
chriseth	6d609557b6	Fix test.	2017-12-04 12:57:36 +01:00
chriseth	00e252a39f	Another test for division.	2017-11-30 01:20:21 +01:00
chriseth	19e067465a	Unary operators and division.	2017-11-30 01:20:21 +01:00
chriseth	19d5c42429	For loop.	2017-11-22 02:35:34 +00:00
chriseth	5e2c066778	Test for multi-branches.	2017-11-22 02:35:34 +00:00
chriseth	95a65dc04c	Fix boolean constants.	2017-11-22 02:35:34 +00:00
chriseth	90fb14f525	Tests.	2017-11-22 02:35:34 +00:00
chriseth	e5de4a66ed	Tests.	2017-11-22 02:35:34 +00:00
Alex Beregszaszi	10529e994f	SMT should not crash on typecast/structs	2017-10-05 11:41:11 +01:00
chriseth	5028ccbe84	Tests for SMT checker.	2017-09-29 15:31:00 +02:00