command (frama-c-wp.Wp.ProverTask.command)

method command : string list

method pretty : Stdlib.Format.formatter -> unit

method set_command : string -> unit

method add : string list -> unit

method add_int : name:string -> value:int -> unit

method add_positive : name:string -> value:int -> unit

method add_float : name:string -> value:float -> unit

method add_parameter : name:string -> ( unit -> bool ) -> unit

method add_list : name:string -> string list -> unit

method timeout : int -> unit

method validate_time : ( float -> unit ) -> unit

method validate_pattern : ?logs:logs ->
  ?repeat:bool ->
  Str.regexp ->
  ( pattern -> unit ) ->
  unit

method run : ?echo:bool ->
  ?logout:string ->
  ?logerr:string ->
  unit ->
  int Frama_c_kernel.Task.task