projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a66af8) | patch
fix to switch fall-through; stats now off by default regardless of -d debugging optio...
authorMorgan Deters <mdeters@gmail.com>
Wed, 30 Jun 2010 15:26:13 +0000 (15:26 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 30 Jun 2010 15:26:13 +0000 (15:26 +0000)
commit4d2c7ccaa905534342fe99a23fc137c75a707d6a
treeae6b4c2675f266f083b3aab8a49cb9aa1711959ctree
parent5a66af8d04cf854746f5e1b2902b1d29ba537429commit | diff
fix to switch fall-through; stats now off by default regardless of -d debugging options; thanks Chris for spoting this
src/main/getopt.cpp diff | blob | history