/tests/quick/se/01.hello-2T-smt/

• ../
• test.py