module Options:sig
..end
include Plugin.S
implementation of Log.S for E-ACSL
module Run:Parameter_sig.Bool
module Valid:Parameter_sig.Bool
module Gmp_only:Parameter_sig.Bool
module Full_mtracking:Parameter_sig.Bool
module Project_name:Parameter_sig.String
module Builtins:Parameter_sig.String_set
module Temporal_validity:Parameter_sig.Bool
module Validate_format_strings:Parameter_sig.Bool
module Replace_libc_functions:Parameter_sig.Bool
module Assert_print_data:Parameter_sig.Bool
module Concurrency:Parameter_sig.Bool
module Functions:Parameter_sig.Kernel_function_set
module Instrument:Parameter_sig.Kernel_function_set
val parameter_states : State.t list
val emitter : Emitter.t
val must_visit : unit -> bool
module Dkey:sig
..end
val setup : ?rtl:bool -> unit -> unit
Verify and initialize the options of the current project according to the
options set by the user.
If rtl
is true, then the project being modified is the RTL project.