/tests/examplefiles/whiley/

• ../
• example.whiley
• example.whiley.output