Project

General

Profile

« Previous | Next » 

Revision c6c8786b

Added by Pierre-Loïc Garoche over 2 years ago

kind2 output for printer. global option available

View differences:

src/options.ml
58 58
let gen_mcdc = ref false
59 59
let no_mutation_suffix = ref false
60 60

  
61
(* Algebraic loops unrolling *)
61 62
let solve_al = ref false
62 63
let al_nb_max = ref 15
63
  
64

  
65
(* Printer options *)
66
let kind2_print = ref false
67
                    
68
                  
64 69
(* Local Variables: *)
65 70
(* compile-command:"make -C .." *)
66 71
(* End: *)

Also available in: Unified diff