projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 84f7eea) | patch
Application trace executor (if they end up using that) requires --print-success.
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 15 Jun 2014 23:54:19 +0000 (19:54 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 15 Jun 2014 23:54:19 +0000 (19:54 -0400)
commit39a863a248db14d3956b975d0e9c531b96f2baa4
treeecde58a054ece263f5d38379955a400217c73d8ctree
parent84f7eeae9d3713c99fcc8b2d33f5c004574a1c57commit | diff
Application trace executor (if they end up using that) requires --print-success.
contrib/run-script-smtcomp2014-application diff | blob | history