projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5cb4e49) | 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)
committerlianah <lianahady@gmail.com>
Thu, 19 Jun 2014 22:24:40 +0000 (18:24 -0400)
commitdd5dee0a40a03ea5fc7c3685aa2ce17d073a22ab
tree452b19b7f7ab12eeb8230f1a201bd94301dd31cctree
parent5cb4e490bc222d1e8a3853b2f975a64af2976bafcommit | 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