/test/ir/

• ../
• ir2C.py
• symbexec.py
• translators