projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a731b9) | patch
Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong, and...
authorTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 17:30:44 +0000 (17:30 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 26 Nov 2012 17:30:44 +0000 (17:30 +0000)
commitc3ca3d8c58cc9954f8ad190e1e2dedbcbb5372f0
tree4830fb02118a499da8cb62aaec06b16919e0d05atree
parent2a731b9164bb178f1232a9af0babc7dd84450ceacommit | diff
Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong, and was broken by r4620. This commit resolves bug463. Adding a previously triggering test case.
src/theory/arith/dio_solver.cpp diff | blob | history
src/theory/arith/dio_solver.h diff | blob | history
test/regress/regress0/auflia/Makefile.am diff | blob | history
test/regress/regress0/auflia/x2.smt [new file with mode: 0644] blob