projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d755486) | patch
small fixes for run_regression script to workaround bug in old mktemp, was causing...
authorMorgan Deters <mdeters@gmail.com>
Tue, 15 Mar 2011 21:06:47 +0000 (21:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 15 Mar 2011 21:06:47 +0000 (21:06 +0000)
commit3041680aecaf8f264f6c56f4030dd908f7375cb8
tree22c83a439131456b4519bb3a1f35e481d8f4b2eetree
parentd7554865a91733a39dd658e2003ca072e8e2ed4bcommit | diff
small fixes for run_regression script to workaround bug in old mktemp, was causing a hang in bug220.smt2
test/regress/run_regression diff | blob | history