/test/524-boolean-simplifier-regression/
../
expected.txt
info.txt
src