projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb49f39) | patch
Run in application track with --check-models.
authorMorgan Deters <mdeters@cs.nyu.edu>
Sun, 22 Jun 2014 02:09:17 +0000 (22:09 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Sun, 22 Jun 2014 02:09:17 +0000 (22:09 -0400)
commit37e1a756c83a24322f1cb496dbd2e85a162c93b0
treed418ded7004cd1f97fbdae0bd52596d3e3824a20tree
parenteb49f3939e0b47a0c1a404079a6ef108628e13d1commit | diff
Run in application track with --check-models.
contrib/run-script-smtcomp2014-application diff | blob | history