11 Commits

Author	SHA1	Message	Date
Leonardo Alt	3d2e6252f0	Add/update tests	2020-10-12 11:11:52 +01:00
Leonardo Alt	e6bd18525b	[SMTChecker] Add engine prefix to verification target error messages	2020-09-25 19:09:06 +02:00
Leonardo Alt	0223571987	[SMTChecker] Do not report error when rlimit	2020-09-25 18:43:10 +02:00
Leonardo Alt	fd6c665548	Update SMTChecker tests with z3 4.8.9	2020-09-14 19:04:13 +02:00
Leonardo Alt	00f6b303b1	[SMTChecker] Change warning message	2020-09-09 16:14:21 +02:00
a3d4	e04cedafc5	Added error codes to SyntaxTest expectations (updated tests)	2020-06-22 16:51:47 +02:00
Daniel Kirchner	05baa23e8a	Require unimplemented functions to be virtual.	2019-12-02 21:59:00 +01:00
chriseth	7c258873bd	Add some more abstract keywords in test to make sure the correct property is tested.	2019-11-04 17:26:38 +01:00
Alexander Arlt	cd3ad73b5a	Update tests.	2019-11-01 14:54:47 -05:00
Leonardo Alt	ecd89393ee	[SMTChecker] Support contract type	2019-04-17 16:30:11 +02:00
Leonardo Alt	7f8ceaadab	[SMTChecker] Clear state knowledge after external function calls	2019-01-21 12:58:40 +01:00