diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-16 23:04:15 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-16 23:04:15 +0000 |
| commit | 94d13d40b27beb6e1ae8ec8221f6610d9d1a024d (patch) | |
| tree | 23923e2e838ffda91cf21800ca2c19505970b064 /src | |
| parent | 4a45b80a981a875cb560876dee2eb7bfa9db1e08 (diff) | |
Adding the failing QF_AUFLIA regression mentioned in last commit.
pp-regfile.delta02.smt is the one to look at with
--decision=justificaiton, the delta minimized version of pp-regfile,
which also gives wrong answer. due to various commits/fixes, delta01
gives correct answer currently.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions