diff options
| author |  Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 20:21:33 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 20:21:33 +0100 |
| commit | 4a62e11dcaa3955e108f1eb3b12bfe4e47e4ed9e (patch) | |
| tree | 5563e28a2004f329a1836e545e692ddf29f3a9cb /Test/livevars | |
| parent | bf3b63b4353cc73ddb77a5bd8a842add8573a95b (diff) | |
Fix ``livevars/daytona_bug2_ioctl_example_2.bpl`` test under Linux.
Diffstat (limited to 'Test/livevars')
| -rw-r--r-- | Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect b/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect index 3c0d0b20..9f960f26 100644 --- a/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect +++ b/Test/livevars/daytona_bug2_ioctl_example_2.bpl.expect @@ -127,8 +127,7 @@ 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(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(3928,3): inline$storm_IoAcquireCancelSpinLock$0$anon9_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 |