package frama-c

  1. Overview
  2. Docs

Module Wp.ProofSessionSource

Sourcetype script =
  1. | NoScript
  2. | Script of Frama_c_kernel.Filepath.Normalized.t
  3. | Deprecated of Frama_c_kernel.Filepath.Normalized.t
Sourcetype mode =
  1. | Batch
  2. | Update
  3. | Dry
  4. | Init
Sourceval get_mode : unit -> mode
Sourceval set_mode : mode -> unit
Sourceval scratch_mode : unit -> bool
Sourceval saving_mode : unit -> bool
Sourceval pp_script_for : Format.formatter -> Wpo.t -> unit
Sourceval get : Wpo.t -> script
Sourceval exists : Wpo.t -> bool
Sourceval save : stdout:bool -> Wpo.t -> Frama_c_kernel.Json.t -> unit
Sourceval remove : Wpo.t -> unit
Sourceval filename : force:bool -> Wpo.t -> Frama_c_kernel.Filepath.Normalized.t
Sourceval mark : Wpo.t -> unit
Sourceval reset_marks : unit -> unit
Sourceval remove_unmarked_files : dry:bool -> unit