projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f632dfe) | patch
Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 8 Mar 2012 02:33:37 +0000 (02:33 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 8 Mar 2012 02:33:37 +0000 (02:33 +0000)
commit752b00bc94385fd4b54becb072fca3814f34fd4c
tree5636548d4e874275d6348fd6fd9f03b074e65d33tree
parentf632dfe4fe36f49361bebbf843992f658bac28efcommit | diff
Removing QUICK_CHECK, and other unused ones, from the Theory::Effort.

Seems to be working better <http://church.cims.nyu.edu/regress-results/compare_jobs.php?job_id=3749&category=&p=5&reference_id=3739>, and should fix the failing cases in the regressions.

Removing one test case from the integer regress0.
12 files changed:
.cproject diff | blob | history
.project diff | blob | history
src/prop/minisat/core/Solver.cc diff | blob | history
src/prop/minisat/core/Solver.h diff | blob | history
src/prop/minisat/simp/SimpSolver.cc diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory.h diff | blob | history
test/regress/regress0/arith/integers/Makefile.am diff | blob | history
test/unit/theory/theory_arith_white.h diff | blob | history
test/unit/theory/theory_black.h diff | blob | history