15 Commits

Author	SHA1	Message	Date
Kamil Śliwak	309a8de530	Refactor AnalysisFramework to share more features between test cases that depend on it	2023-09-19 15:56:49 +02:00
Kamil Śliwak	aecb11eff4	Make better use of virtual functions to customize CommonSyntaxTest in test cases based on it	2023-08-07 14:05:43 +02:00
Martin Blicha	2e38798408	SMTChecker: Keep counterexamples on test expectation update	2023-07-24 18:36:18 +02:00
Pawel Gebal	f15b826431	Add optional bounds to unroll loops in BMC model checker	2023-06-02 18:32:38 +02:00
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