bin/ptests.byte
lib/frama-c/ptests_config.cmo