/testsuite/

• ../
• paraphrase
• parser
• srg
• typecheck