gitdir: ../../../../.git/modules/data/benchmarks/CompCert
