projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 95222ac) | patch
Version of the run script that works with trace executor; waiting on StarExec infrast...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 19 Jun 2014 00:44:09 +0000 (20:44 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 19 Jun 2014 00:44:09 +0000 (20:44 -0400)
commit34f2e94c6a4263637fb2de06eb2ca55adc987644
tree452b19b7f7ab12eeb8230f1a201bd94301dd31cctree
parent95222acded015b0ad32a36e08dc808a879f5c833commit | diff
Version of the run script that works with trace executor; waiting on StarExec infrastructure for testing.
contrib/run-script-smtcomp2014-application diff | blob | history