Module Options

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.