tempest

Author	SHA1	Message	Date
sjunges	04d4abbdf9	added targets allowing 'make check' and 'make check-verbose' for convenient access to running tests	9 years ago
Philipp Berger	da69e8d9b7	Cherry-picked changes.	9 years ago
dehnert	82a7c06503	renamed abstraction classes for Sebastian	9 years ago
dehnert	e98edf2ab4	fixed abstraction tests	9 years ago
dehnert	633f4293e3	added option of splitting to predicate synthesis, added equivalence checker, fixed bug that caused some commands not to be abstracted	9 years ago
dehnert	6fe633b2c7	fixed more tests, abstraction tests now passing	9 years ago
dehnert	6c67e90a48	fixed more tests	9 years ago
dehnert	2a88016469	some fixes to tests	9 years ago
dehnert	3b61bc7cf3	adapted test to new config macros	9 years ago
Matthias Volk	cd971ba6fe	Set correct example path for tests	9 years ago
dehnert	77ed6a12b0	Moved example file to test folder.	9 years ago
dehnert	bf5018b858	post-merge fixes	9 years ago
Matthias Volk	072b316ad0	Changed path for tests,	9 years ago
Sebastian Junges	e1680afe60	added missing file to tests	9 years ago
Sebastian Junges	8d125345b3	add custom executor for all gtests	9 years ago
Sebastian Junges	6852af8158	source groups fixed	9 years ago
sjunges	f196afcb66	moved tests to src folder, have several binaries now instead of a single monolithic test	9 years ago

1 2 3