package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Class `ProverTask.command`Source

method command : string list

method pretty : 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 : float -> unit

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

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

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