projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdb0237) | patch
fix ordering issue of --dump-to and --default-dag-thresh. now can be specified in...
authorMorgan Deters <mdeters@gmail.com>
Tue, 12 Jun 2012 00:32:02 +0000 (00:32 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 12 Jun 2012 00:32:02 +0000 (00:32 +0000)
commit3424d8805837637542264cdb717d650a8eed76b6
tree5160a5910a7bfb7c1105a30f35033a1893556f31tree
parentcdb023736199d99d8202f248793cd465bfdae4fbcommit | diff
fix ordering issue of --dump-to and --default-dag-thresh.  now can be specified in either order and the DAG threshold takes.
src/util/options.cpp diff | blob | history