/verif/
../
checker
frameworks
generator
runner
tests