chris3.bpl.expect « civl « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/civl/chris3.bpl.expect

blob: b415d3b934172af53e616377816c0d4c99e91cfd (plain)

1 2	`chris3.bpl(17,2): Error: The callee is not available in the caller procedure 1 type checking errors detected in chris3.bpl`