diff options
| author |  qadeer <unknown> | 2014-12-15 10:25:19 -0800 |
|---|---|---|
| committer | qadeer <unknown> | 2014-12-15 10:25:19 -0800 |
| commit | a7f872a71b1be2b9677add91c8366ee27e345856 (patch) | |
| tree | 599f1bae50e1be097f6b9caf07b2efc91ef427c8 /Test | |
| parent | 8aa34404bb634609719f90b59012771adb7d525d (diff) | |
patched an expected output
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/og/termination.bpl.expect | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/og/termination.bpl.expect b/Test/og/termination.bpl.expect index ab90b536..d216a01d 100644 --- a/Test/og/termination.bpl.expect +++ b/Test/og/termination.bpl.expect @@ -1,3 +1,3 @@ -termination.bpl(9,31): Error: Implementation main fails simulation check C at phase 1. Transactions must be separated by a yield. +termination.bpl(9,31): Error: Implementation main fails simulation check C at layer 1. Transactions must be separated by a yield. 1 type checking errors detected in termination.bpl
|