diff options
| author |  rustanleino <unknown> | 2010-10-12 00:13:50 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-10-12 00:13:50 +0000 |
| commit | 4fc18b2fe45c9a29cb0b8fe93d3102cec9c83194 (patch) | |
| tree | a324eff1a6d8266938943a038450ce4eb790810b /Test/test15 | |
| parent | c830dff64feadac2f6aa8e0f2a7e647bf3d690f1 (diff) | |
Boogie:
* enhanced the printing of captured states
* addressed some warnings issued by VS 2010
* some code formatting
Diffstat (limited to 'Test/test15')
| -rw-r--r-- | Test/test15/Answer | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/Test/test15/Answer b/Test/test15/Answer index 825df64f..974f24fc 100644 --- a/Test/test15/Answer +++ b/Test/test15/Answer @@ -199,36 +199,21 @@ Execution trace: CaptureState.bpl(16,5): anon4_Then
CaptureState.bpl(24,5): anon3
Captured states:
- top
Heap = *8
F = *10
this = *9
- x = x
- y = y
+ x = 797
+ y = y@@1
+ top
r = r
m = -2
then
- Heap = *8
- F = *10
- this = *9
- x = x
- y = y
r = r
m = -1
postUpdate0
- Heap = *8
- F = *10
- this = *9
- x = x
- y = y
r = r
m = -1
end
- Heap = *8
- F = *10
- this = *9
- x = x
- y = y
r = -2
m = -1
|