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