projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c5687c) | patch
move decision to use teardown or not to logics
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 20:55:46 +0000 (16:55 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 20:55:46 +0000 (16:55 -0400)
commit28000ce6af1b7f7624f789982b09addc8f197ba3
treedb2993d16008131c1728924fde23a5cffbf1c474tree
parent4c5687c51a0635fe6e7d4ba332b708ba0d9a1dfccommit | diff
move decision to use teardown or not to logics
contrib/run-script-smtcomp2015-application diff | blob | history
contrib/run-script-smtcomp2015-application-experimental diff | blob | history