Commit Graph

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