projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ca5dd4) | patch
Set dumping options from (set-option..) and API more directly.
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 19 Mar 2014 20:32:05 +0000 (16:32 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 19 Mar 2014 20:37:32 +0000 (16:37 -0400)
commitea22ebcbd69b24906d2214b7d294261578ce67a7
treee64d46a849d4e40f544bbb9199fe08e3fce7ef58tree
parent5ca5dd42d95ce08a4ea456212fffcd2672e31fc1commit | diff
Set dumping options from (set-option..) and API more directly.
src/main/driver_unified.cpp diff | blob | history
src/smt/options diff | blob | history
src/util/dump.h diff | blob | history