Frama-C:
Plug-ins:
Libraries:

Frama-C API - InteractiveMode

type t =
  1. | Batch
    (*

    Only check scripts

    *)
  2. | Update
    (*

    Check and update scripts

    *)
  3. | Edit
    (*

    Edit then check scripts

    *)
  4. | Fix
    (*

    Try check script, then edit script on non-success

    *)
  5. | FixUpdate
    (*

    Update & Fix

    *)
val title : t -> string
val parse : string -> t
val pretty : Stdlib.Format.formatter -> t -> unit
val get : unit -> t
val set : t -> unit
val add_hook_on_update : (unit -> unit) -> unit