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

SeparateVerification1.bpl(6,6): Error: undeclared identifier: x
SeparateVerification0.bpl(16,6): Error: undeclared identifier: x
2 name resolution errors detected in SeparateVerification0.bpl