diff options
Diffstat (limited to 'Test/test2')
| -rw-r--r-- | Test/test2/Answer | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Test/test2/Answer b/Test/test2/Answer index 5c5fb9e0..e75d69f1 100644 --- a/Test/test2/Answer +++ b/Test/test2/Answer @@ -225,7 +225,6 @@ Execution trace: Structured.bpl(246,5): anon6_LoopBody
Structured.bpl(247,7): anon7_LoopBody
Structured.bpl(248,11): anon8_Then
- Structured.bpl(252,5): anon4
Structured.bpl(252,14): anon9_Then
Structured.bpl(303,3): Error BP5001: This assertion might not hold.
Execution trace:
|