diff options
| author |  wuestholz <unknown> | 2012-09-12 11:26:47 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2012-09-12 11:26:47 +0200 |
| commit | 9785ccdc34f4e0e5aa992e94251a8e03391def40 (patch) | |
| tree | 304d0f0f7162c2ff66846bcc26f6bd99ccd3dc43 /Test/livevars | |
| parent | f9ee0dff79312c65e78299810590ac040fd0d26b (diff) | |
Updated test 'livevars' that would fail with Z3 4.1 (alternative error trace).
Diffstat (limited to 'Test/livevars')
| -rw-r--r-- | Test/livevars/Answer | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/Test/livevars/Answer b/Test/livevars/Answer index 958fc852..f5c2e7ce 100644 --- a/Test/livevars/Answer +++ b/Test/livevars/Answer @@ -32,11 +32,9 @@ Execution trace: bla1.bpl(1348,3): inline$I8xKeyboardGetSysButtonEvent$0$label_9_false#1
bla1.bpl(1376,3): inline$storm_IoSetCancelRoutine$0$label_7_false#1
bla1.bpl(1408,3): inline$storm_IoSetCancelRoutine$0$label_8#1
- bla1.bpl(1415,3): inline$storm_IoSetCancelRoutine$0$anon9_Else#1
- bla1.bpl(1423,3): inline$storm_IoSetCancelRoutine$0$anon10_Then#1
+ bla1.bpl(1427,3): inline$storm_IoSetCancelRoutine$0$anon9_Then#1
bla1.bpl(1431,3): inline$storm_IoSetCancelRoutine$0$anon3#1
- bla1.bpl(1438,3): inline$storm_IoSetCancelRoutine$0$anon11_Else#1
- bla1.bpl(1446,3): inline$storm_IoSetCancelRoutine$0$anon12_Then#1
+ bla1.bpl(1451,3): inline$storm_IoSetCancelRoutine$0$anon11_Then#1
bla1.bpl(1456,3): inline$storm_IoSetCancelRoutine$0$anon6#1
bla1.bpl(1467,3): inline$storm_IoSetCancelRoutine$0$anon13_Then#1
bla1.bpl(1472,3): inline$storm_IoSetCancelRoutine$0$anon8#1
@@ -56,17 +54,14 @@ Execution trace: bla1.bpl(1739,3): anon7#1
bla1.bpl(1796,3): inline$storm_IoCancelIrp$0$anon12_Then#1
bla1.bpl(1801,3): inline$storm_IoCancelIrp$0$anon2#1
- bla1.bpl(1812,3): inline$storm_IoCancelIrp$0$anon14_Else#1
- bla1.bpl(1820,3): inline$storm_IoCancelIrp$0$anon15_Then#1
+ bla1.bpl(1825,3): inline$storm_IoCancelIrp$0$anon14_Then#1
bla1.bpl(1830,3): inline$storm_IoCancelIrp$0$anon5#1
- bla1.bpl(1838,3): inline$storm_IoCancelIrp$0$anon16_Else#1
- bla1.bpl(1846,3): inline$storm_IoCancelIrp$0$anon17_Then#1
+ bla1.bpl(1851,3): inline$storm_IoCancelIrp$0$anon16_Then#1
bla1.bpl(1856,3): inline$storm_IoCancelIrp$0$anon8#1
bla1.bpl(1867,3): inline$storm_IoCancelIrp$0$anon18_Then#1
bla1.bpl(1872,3): inline$storm_IoCancelIrp$0$anon10#1
bla1.bpl(1932,3): inline$storm_IoAcquireCancelSpinLock$0$label_11_true#1
- bla1.bpl(1947,3): inline$storm_IoAcquireCancelSpinLock$0$anon6_Else#1
- bla1.bpl(1955,3): inline$storm_IoAcquireCancelSpinLock$0$anon7_Then#1
+ bla1.bpl(1960,3): inline$storm_IoAcquireCancelSpinLock$0$anon6_Then#1
bla1.bpl(1965,3): inline$storm_IoAcquireCancelSpinLock$0$anon3#1
bla1.bpl(1976,3): inline$storm_IoAcquireCancelSpinLock$0$anon8_Then#1
bla1.bpl(1981,3): inline$storm_IoAcquireCancelSpinLock$0$anon5#1
|