/test/840-resolution/

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