/test/monniaux/picosat-965/onefile/
../
picosat.c
testcmp.sh