Maj terminée. Pour consulter la release notes associée voici le lien :
https://about.gitlab.com/releases/2021/07/07/critical-security-release-gitlab-14-0-4-released/

Commit 21ebef3b authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

why3replayer: accept --list-debug-flags

parent 313f8a44
......@@ -115,6 +115,8 @@ let () =
exit 0
end
let () = if Debug.Args.option_list () then exit 0
(* let () = *)
(* if !opt_smoke <> Session.SD_None && !opt_force then begin *)
(* Format.printf "You can't force when detecting smoke@."; *)
......
Markdown is supported
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