Commit 28a81816 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

better message when detecting old provers

parent d8c610a0
......@@ -395,8 +395,7 @@ let detect_exec env main data acc exec_name =
eprintf "Found prover %s version %s%s@."
data.prover_name ver
(Opt.get_def (if old then
" (it is an old version that is less tested than \
the current one)." else ", Ok.")
" (old version, please consider upgrading)." else ", Ok.")
known_version env exec_name;
add_prover_shortcuts env prover;
......@@ -417,7 +416,7 @@ let detect_unknown env detected =
| Some (priority,prover_id,prover_config) ->
let prover = prover_config.prover in
eprintf "Warning: prover %s version %s is not known to be \
supported, use it at your own risk!@."
prover.Wc.prover_name prover.prover_version;
(** Pb: Even if it match the first prover section (normally
highest priority) since it is unknown it has the lower
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment