|
|
infrastructure so I have not bothered to update the Answer file. These tests
are still disabled by the lit.local.cfg file in the AbsHoudini folder because
the following tests fail or weren't even being run previously (these are left
unresolved because I do not know how these tests are meant to be run)
UNRESOLVED: Boogie :: AbsHoudini/f1.bpl (1 of 32)
UNRESOLVED: Boogie :: AbsHoudini/imp1.bpl (7 of 32)
UNRESOLVED: Boogie :: AbsHoudini/int1.bpl (8 of 32)
UNRESOLVED: Boogie :: AbsHoudini/multi.bpl (9 of 32)
FAIL: Boogie :: AbsHoudini/quant3.bpl (22 of 32)
FAIL: Boogie :: AbsHoudini/quant5.bpl (28 of 32)
|
Dan Liew