projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c96ca24) | 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:45:26 +0000 (20:45 -0400)
commiteb49f3939e0b47a0c1a404079a6ef108628e13d1
tree971f5944219086076244ace8bc0492bac36fd705tree
parentc96ca24439e02a1413188b728e5b5c415d398c39commit | 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