/tests/fsm/

• ../
• generate.py
• run-test.sh