/tests/blif/
../
bug2729.ys
run-test.sh