/tests/examplefiles/boogie/

• ../
• test.bpl
• test.bpl.output