/tests/examplefiles/nusmv/

• ../
• guidance.smv
• guidance.smv.output