/testsuite/synth/

• ../
• arr01
• comp01
• dff01
• fsm01
• simple01
• stmt01
• testsuite.sh