projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e15c81) | patch
don't do extra-checking for all regressions; that's probably a bad default
authorMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 04:04:23 +0000 (04:04 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 4 Jul 2010 04:04:23 +0000 (04:04 +0000)
commit522450336079fc0fef751876fa8c934369d608b3
tree686d8d630279efe46f361ea01aef5d64cd0bce9btree
parent9e15c81c673b2cb325cc21ace39f84b37d8b65c9commit | diff
don't do extra-checking for all regressions; that's probably a bad default
test/regress/run_regression diff | blob | history