/tests/simple_abc9/

• ../
• abc.box
• abc9.v
• run-test.sh