9 Commits

Author	SHA1	Message	Date
chriseth	3fdca88711	some tests	2022-04-27 15:40:35 +02:00
chriseth	1cc485bf72	use z3	2022-04-17 18:11:42 +02:00
chriseth	4ace0ed82c	Correct test.	2022-04-17 18:11:30 +02:00
chriseth	86fde5d357	ssa encoding	2022-04-17 17:54:39 +02:00
chriseth	dc6eecd4ba	Some tests.	2022-04-13 17:46:46 +02:00
chriseth	118a0f2125	slt test case.	2022-03-20 22:34:22 +01:00
Daniel Kirchner	284e8a103f	Remove potentially non-deterministic test case.	2021-06-09 14:42:16 +02:00
Leonardo Alt	40221a90c4	Update smtCheckerTests for z3 4.8.10	2021-01-26 10:18:52 +01:00
chriseth	f73fb726af	Reasoning based optimizer.	2020-09-15 15:57:58 +02:00