19 Commits

Author	SHA1	Message	Date
Marenz	f7cc29bec1	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
Leo Alt	4fd7de36f1	update smt tests z3 4.8.16	2022-05-03 14:23:27 +02:00
Leo Alt	37215ffcfd	Add SMTCheckerTest isoltest option to ignore invariants	2021-10-26 11:30:30 +02:00
Leo Alt	d25fb29178	Add isoltest option to ignore OS	2021-10-01 12:45:36 +02:00
Leo Alt	d91f75deb8	Fix ICE on unique errors	2021-09-09 16:37:43 +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
Leo Alt	3c1f555f71	Tests	2021-08-04 13:54:50 +02:00
Leo Alt	6c8ecfa82c	Add option to choose solver	2021-07-27 17:14:21 +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
a3d4	bb38ce1759	Decoupled error checking and report printing in CommonSyntaxTest.	2020-03-16 23:22:56 +01:00
a3d4	66783c30ce	Introduced TestCaseReader.	2020-03-16 23:14:33 +01:00
a3d4	29b770c434	Introduced TestCase::shouldRun().	2020-03-09 15:52:20 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +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