diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-14 11:53:43 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-14 11:53:43 -0700 |
| commit | 486a0227c6d7864371265909f369f0ea3fd4851f (patch) | |
| tree | 5f719275e9e5ccbfb4beafc782a09259b790ccc8 /Test/test15 | |
| parent | 34dd747b749fa87f82973495ada645c2c81a3e93 (diff) | |
Also updated test15
Diffstat (limited to 'Test/test15')
| -rw-r--r-- | Test/test15/Answer | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Test/test15/Answer b/Test/test15/Answer index 473af09b..ae010dc9 100644 --- a/Test/test15/Answer +++ b/Test/test15/Answer @@ -114,11 +114,11 @@ Execution trace: CaptureState.bpl(16,5): anon4_Then
CaptureState.bpl(24,5): anon3
*** MODEL
-%lbl%@334 -> false
-%lbl%+110 -> true
+%lbl%@336 -> false
%lbl%+112 -> true
-%lbl%+116 -> true
-%lbl%+189 -> true
+%lbl%+114 -> true
+%lbl%+118 -> true
+%lbl%+191 -> true
@MV_state_const -> 6
boolType -> T@T!val!1
F -> T@U!val!2
|