summaryrefslogtreecommitdiff
path: root/Test/test0/AssertVerifiedUnder0.bpl.expect
blob: b3d8177db8419e2dc514836587d559533e50c59b (plain)
1
2
3
AssertVerifiedUnder0.bpl(6,11): Error: attribute :verified_under accepts only one argument
AssertVerifiedUnder0.bpl(7,11): Error: attribute :verified_under accepts only one argument
2 name resolution errors detected in AssertVerifiedUnder0.bpl