11 Commits

Author	SHA1	Message	Date
Leo Alt	37215ffcfd	Add SMTCheckerTest isoltest option to ignore invariants	2021-10-26 11:30:30 +02:00
Leo Alt	ee6285d6d7	Do not create VCs for underoverflow by default for Sol >=0.8	2021-08-09 14:12:31 +02:00
Leonardo Alt	3c142e0e94	Move CHC counterexamples to primary location	2020-12-09 19:55:18 +01:00
Leonardo Alt	00858c0ccf	Isoltets SMTChecker option and BMC specific tests	2020-11-06 15:03:38 +00:00
Sachin Grover	b7adb2aa42	Add SPDX license identifier if not present already in source file ... Fixes: #9220	2020-07-17 20:24:12 +05:30
Daniel Kirchner	c8f25142a7	Add nooptions label to smt checks.	2020-07-11 20:17:12 +02:00
Leonardo Alt	45eba27424	Rename namespace	2020-05-20 12:55:18 +02:00
Leonardo Alt	087605ea02	Create libsmtutil	2020-05-20 12:55:18 +02:00
a3d4	29b770c434	Introduced TestCase::shouldRun().	2020-03-09 15:52:20 +01:00
Christian Parpart	ed45b000d1	Adapt tests directory to C++ namespace changes.	2020-01-07 15:51:50 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00