sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
8908 Commits
2 Branches
0 Tags
187 MiB
Tree: 6b5c7b2672
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '6b5c7b2672'
${ noResults }
Commit Graph

486 Commits (6b5c7b26728aa60f8835f61eb902f40f76003cda)

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