/test/463-checker-boolean-simplifier/
../
expected.txt
info.txt
src