/tests/examplefiles/cpsa/

• ../
• yahalom.cpsa
• yahalom.cpsa.output