projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5135c2) | patch
change to the run_regression script to better manage temporary files; hopefully this...
authorMorgan Deters <mdeters@gmail.com>
Mon, 14 Mar 2011 21:00:34 +0000 (21:00 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 14 Mar 2011 21:00:34 +0000 (21:00 +0000)
commit054455fe9b57a4f5df4702aaabcf77ca71d8e70a
treeb504fb8f264d3f4ffecbd7752959d7502fe78b82tree
parentc5135c27ed486e0808c29b20857c54d1fe6bfe3ecommit | diff
change to the run_regression script to better manage temporary files; hopefully this will somewhat alleviate the problem with all the junk files in /tmp
test/regress/run_regression diff | blob | history