let file_for_log_check ~gid = function
  | L_why -> local gid "_why.txt"
  | L_coq -> local gid "_coq.txt"
  | L_altergo -> local gid "_ergo.txt"