/tests/examplefiles/fstar/

• ../
• example.fst
• example.fst.output