projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa7f30a) | patch
Modified tear-down-incremental option to take an integer - the integer is the
authorClark Barrett <barrett@cs.nyu.edu>
Thu, 31 Dec 2015 06:38:13 +0000 (22:38 -0800)
committerClark Barrett <barrett@cs.nyu.edu>
Thu, 31 Dec 2015 06:39:13 +0000 (22:39 -0800)
commit395e05c2c443845c71dd1fdbb3eae26a68f15520
treecabd2c720cc4097f41f5883408b21abb2c456ebatree
parentfa7f30a4ba08afe066604daee87006b4fb5f21f7commit | diff
Modified tear-down-incremental option to take an integer - the integer is the
number of times a check must be executed before the system is reset.
src/main/driver_unified.cpp diff | blob | history
src/options/main_options diff | blob | history