Merge branch 'wp/thibault/Assert_Check_Only' into 'master'

Remove option -wp-assert-check-only

See merge request frama-c/frama-c!2210

src/plugins/wp/wpAnnot.ml

@@ -914,7 +914,7 @@ let get_stmt_annots config v s =
                 in (b_acc, (a_acc, e_acc))
           | TBRok | TBRpart ->
               let id = WpPropId.mk_assert_id config.kf s a in
-              let check = kind = Check || Wp_parameters.Assert_check_only.get ()
+              let check = kind = Check
               and goal = goal_to_select config id in
               if check && not goal then acc
               else

src/plugins/wp/wp_parameters.ml

@@ -897,17 +897,6 @@ module Check =
   end)
 let () = on_reset Print.clear
 
-let () = Parameter_customize.set_group wp_po
-let () = Parameter_customize.do_not_save ()
-let () = Parameter_customize.is_invisible ()
-module Assert_check_only =
-  False (struct
-    let option_name = "-wp-assert-check-only"
-    let help =
-      "Turns assertions into labels."
-  end)
-let () = on_reset Print.clear
-
 (* -------------------------------------------------------------------------- *)
 (* --- OS environment variables                                           --- *)
 (* -------------------------------------------------------------------------- *)

src/plugins/wp/wp_parameters.mli

@@ -135,7 +135,6 @@ module ReportJson: Parameter_sig.String
 module ReportName: Parameter_sig.String
 module MemoryContext: Parameter_sig.Bool
 module Check: Parameter_sig.Bool
-module Assert_check_only: Parameter_sig.Bool
 
 (** {2 Environment Variables} *)