9 Commits

Include renames

Author	SHA1	Message	Date
Leo Alt	21c0f78650	Report safe properties in BMC and CHC	2023-03-09 14:59:32 +01:00
George Plotnikov	6374b4fe23	regenerating tests expectation	2022-10-26 15:13:47 +05:00
Leo Alt	700fe3e5d4	CL tests	2021-08-04 13:54:50 +02:00
Leonardo Alt	ad10bee8f0	update command line tests	2021-04-08 21:03:39 +02:00
chriseth	482bda6887	Merge remote-tracking branch 'origin/develop' into breaking	2020-12-10 12:15:52 +01:00
Daniel Kirchner	e691b7402a	Move standard-json "modelCheckerSettings" key to "settings.modelChecker".	2020-12-09 15:53:32 +01:00
chriseth	c4e97b7624	Update tests.	2020-12-01 16:15:19 +01:00
Leonardo Alt	1b6abfa37f	Make timeout tests harder	2020-11-06 13:35:07 +00:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00