/tests/regression/csgtermtest/

• ../
• allexpressions-expected.term
• allfunctions-expected.term
• allmodules-expected.term