/verif/
../
checker
generator
runner
tests