diff options
| author |  Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:50:24 -0600 |
|---|---|---|
| committer | Valentin Wüstholz <wuestholz@gmail.com> | 2015-11-16 12:50:24 -0600 |
| commit | 67a0a458aad9ece669a49cca085b695a56003d0e (patch) | |
| tree | 0a91aabc9c2a687174680175c60eb572dcd09cb2 /Test/test1/StatementIds0.bpl.expect | |
| parent | 75a179354ea7b78682904575d5692efa0068fcf0 (diff) | |
Add a test.
Diffstat (limited to 'Test/test1/StatementIds0.bpl.expect')
| -rw-r--r-- | Test/test1/StatementIds0.bpl.expect | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Test/test1/StatementIds0.bpl.expect b/Test/test1/StatementIds0.bpl.expect index 944c3257..4783d912 100644 --- a/Test/test1/StatementIds0.bpl.expect +++ b/Test/test1/StatementIds0.bpl.expect @@ -1,3 +1,5 @@ StatementIds0.bpl(7,4): Error: more than one statement with same id: s0 StatementIds0.bpl(12,4): Error: more than one statement with same id: s0 -2 name resolution errors detected in StatementIds0.bpl +StatementIds0.bpl(18,6): Error: more than one statement with same id: s0 +StatementIds0.bpl(19,6): Error: more than one statement with same id: s0 +4 name resolution errors detected in StatementIds0.bpl |