/tests/lexers/nusmv/

• ../
• example.txt