Triggers0.bpl.expect « test0 « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/test0/Triggers0.bpl.expect

blob: 72ee616004f714712a51a09c150cdf26accd45b0 (plain)

1 2	`Triggers0.bpl(16,31): error: the 'nopats' quantifier attribute expects a string-literal parameter 1 parse errors detected in Triggers0.bpl`