/verif/
../
checker
conformance
frameworks
generator
runner
tests