projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a92b09) | patch
more breakage in aufbv
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 12 Jun 2012 17:02:02 +0000 (17:02 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 12 Jun 2012 17:02:02 +0000 (17:02 +0000)
commite842780b6c1553a3e3339c0a55c8dbb39c0076b6
treed70195cef2d570c9246fa47bd031087f261f1e4dtree
parent2a92b09014430bedb9360d186e1d88144e07cf11commit | diff
more breakage in aufbv

Assertion `value(l) == (lbool((uint8_t)0))' failed.

and

d_disequalityReasonsMap.find(pair) != d_disequalityReasonsMap.end()
test/regress/regress0/aufbv/fifo32in06k08.delta01.smt [new file with mode: 0644] blob
test/regress/regress0/aufbv/fifo32in06k08.smt [new file with mode: 0644] blob