projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4c49dd9) | patch
in debug builds, -d can be used for trace tags that aren't also debug tags
authorMorgan Deters <mdeters@gmail.com>
Mon, 14 May 2012 19:10:39 +0000 (19:10 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 14 May 2012 19:10:39 +0000 (19:10 +0000)
commit39ec0e8bb0ada53e9e47cee025df1dad003746c0
tree7c4918960d027ba9bd89079fceb36d9b9ac0f351tree
parent4c49dd9bcc859a07bebf969ee126ee2f4ffa2384commit | diff
in debug builds, -d can be used for trace tags that aren't also debug tags
src/util/options.cpp diff | blob | history