12 Commits

Author	SHA1	Message	Date
Leo Alt	21c0f78650	Report safe properties in BMC and CHC	2023-03-09 14:59:32 +01:00
Leo Alt	0c34d9df88	Adjust tests for nondeterminism	2021-11-24 20:41:22 +01:00
Leo Alt	ff5c842d67	update smtchecker tests	2021-11-24 20:41:22 +01:00
Leo Alt	38b0cf7f9c	SMTChecker tests	2021-10-26 11:30:30 +02:00
Leonardo Alt	0a4afa71bd	Update old tests	2021-04-08 21:03:39 +02:00
Leonardo Alt	5160f89c1b	[SMTChecker] Support to external calls to unknown code	2020-07-01 18:20:33 +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