/test/530-checker-instance-of-simplifier/

• ../
• expected-stderr.txt
• expected-stdout.txt
• info.txt
• jasmin