projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 21c1f5d) | patch
assertions runscript (for testing) derived from current stable (default) script
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 21:00:00 +0000 (17:00 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 5 Jun 2015 21:00:00 +0000 (17:00 -0400)
commitab0975e673a2a017e6d3c14ff618e96f204ab383
tree1108696a04a4987313fc64a77ceed1e9102fe459tree
parent21c1f5d37d1c2995b944fcff4b68e0d57915a55acommit | diff
assertions runscript (for testing) derived from current stable (default) script
contrib/run-script-smtcomp2015-assertions [new file with mode: 0755] blob