Commit d607b7d9 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

[replayer] force saving even if replay OK and not obsolete

parent 3c7a8232
This diff is collapsed.
......@@ -354,7 +354,7 @@ let add_to_check_no_smoke config some_merge_miss found_obs env_session sched =
(if !found_upgraded_prover then ", upgraded prover" else "");
if !opt_stats && n<m then print_statistics files;
Debug.dprintf debug "Everything replayed OK.@.";
if found_obs || !found_upgraded_prover then save ();
if !opt_force || found_obs || !found_upgraded_prover then save ();
exit 0
end
else
......
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