/testsuite/synth/

• ../
• aggr01
• arr01
• comp01
• concat01
• dff01
• forgen01
• fsm01
• func01
• issue12
• issue8
• simple01
• stmt01
• testsuite.sh