/tests/examplefiles/alloy/

• ../
• example.als
• example.als.output