diff options
| author |  Valentin Wüstholz <wuestholz@users.noreply.github.com> | 2015-12-01 18:48:40 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@users.noreply.github.com> | 2015-12-01 18:48:40 -0600 |
| commit | e172da3b4ac7f8d352d366d81f1c7c3184426033 (patch) | |
| tree | 264437a4a5491b97aa425dae1e911a4c773f346c /Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect | |
| parent | fe8de9444fb6ce90216a9b8268d8a13daa9a9f2a (diff) | |
| parent | 75b5befa9f82f6fd54817d9cec20522af1a797a6 (diff) | |
Merge pull request #27 from boogie-org/update_recommended_Z3_version
Update recommended z3 version
Diffstat (limited to 'Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect')
| -rw-r--r-- | Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect b/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect index 9f960f26..3c0d0b20 100644 --- a/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect +++ b/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect @@ -127,7 +127,8 @@ Execution trace: daytona_bug2_ioctl_example_2.bpl(3832,3): inline$storm_IoCancelIrp$0$anon10#2 daytona_bug2_ioctl_example_2.bpl(3892,3): inline$storm_IoAcquireCancelSpinLock$0$label_11_true#2 daytona_bug2_ioctl_example_2.bpl(3902,3): inline$storm_IoAcquireCancelSpinLock$0$anon8_Else#2 - daytona_bug2_ioctl_example_2.bpl(3928,3): inline$storm_IoAcquireCancelSpinLock$0$anon9_Then#2 + daytona_bug2_ioctl_example_2.bpl(3915,3): inline$storm_IoAcquireCancelSpinLock$0$anon9_Else#2 + daytona_bug2_ioctl_example_2.bpl(3923,3): inline$storm_IoAcquireCancelSpinLock$0$anon10_Then#2 daytona_bug2_ioctl_example_2.bpl(3933,3): inline$storm_IoAcquireCancelSpinLock$0$anon5#2 daytona_bug2_ioctl_example_2.bpl(3944,3): inline$storm_IoAcquireCancelSpinLock$0$anon11_Then#2 daytona_bug2_ioctl_example_2.bpl(3949,3): inline$storm_IoAcquireCancelSpinLock$0$anon7#2 |