projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 48101a9) | patch
- This commit adds some debugging information to ArithPriorityQueue.
authorTim King <taking@cs.nyu.edu>
Fri, 25 Feb 2011 19:28:48 +0000 (19:28 +0000)
committerTim King <taking@cs.nyu.edu>
Fri, 25 Feb 2011 19:28:48 +0000 (19:28 +0000)
commit616a0b85d1abd20f173890025585c640525f07cc
treed069ba92c65eb4626c361f523c03fa5f0a83a169tree
parent48101a9e2416a16b645f31936776694a25cf9efdcommit | diff
- This commit adds some debugging information to ArithPriorityQueue.
- There was a missing break statement in ArithPriorityQueue. This addresses the bug discovered in the debug regression (http://goedel.cims.nyu.edu/regress-results/compare_jobs.php?job_id=1566&reference_id=1548&category=1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,29&p=10).
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history