Tai.Cli
Declares options for the command line interface
type arguments = {
enabled : bool;
iterative_strategy : bool;
Wether or not to use an iterative strategy in wto.ml (stabilize outer loops first)
*)program : Ast.Program.graph;
The program to analysed, parsed by Frama-C and tranlated to our AST in ast/program.ml
*)numeric : (module Single_value_abstraction.Sig.SingleValueAbstraction);
The numerical domain to use for the analysis
*)domain : Domain_builder.classical_domain;
The main analysis domain
*)nb_backwards_iterations : int;
The number of backward iterations performed when back-propagating expressions in domains/numeric.ml
*)display : display -> bool;
Should the relevant display be printed
*)}
val get_args : unit -> arguments