/test/537-checker-inline-and-unverified/
../
expected-stderr.txt
expected-stdout.txt
info.txt
src
src2