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

428 Commits (4eed592811ae61e2ed6eb69acc3bef5a3c071000)

Author SHA1 Message Date
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