summaryrefslogtreecommitdiff
path: root/Test/civl/termination.bpl.expect
blob: d216a01dee029448bbed24d75b18b38da6719421 (plain)
1
2
3
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