/testsuite/bsc.synthesize/

• ../
• FACT.bs
• Makefile
• synthesize.exp