gitdir: ../.git/modules/SOL-ExecBench
