diff options
author | Tim King <taking@cs.nyu.edu> | 2012-11-26 17:30:44 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-11-26 17:30:44 +0000 |
commit | c3ca3d8c58cc9954f8ad190e1e2dedbcbb5372f0 (patch) | |
tree | 4830fb02118a499da8cb62aaec06b16919e0d05a /test/regress/regress0/push-pop/boolean/fuzz_31.smt2 | |
parent | 2a731b9164bb178f1232a9af0babc7dd84450cea (diff) |
Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong, and was broken by r4620. This commit resolves bug463. Adding a previously triggering test case.
Diffstat (limited to 'test/regress/regress0/push-pop/boolean/fuzz_31.smt2')
0 files changed, 0 insertions, 0 deletions