Project

General

Profile

« Previous | Next » 

Revision c6c8786b

Added by Pierre-Loïc Garoche almost 4 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