Project

General

Profile

« Previous | Next » 

Revision e7cc5186

Added by Pierre-Loïc Garoche almost 6 years ago

Refactor error printing.

View differences:

src/options.ml
15 15 

  		




  16
  16
  
    
let main_node = ref ""


  		




  17
  17
  
    
let static_mem = ref true


  		




  18
  
  
    
let print_types = ref true


  		




  19
  
  
    
let print_clocks = ref true


  		




  
  18
  
    
let print_types = ref false


  		




  
  19
  
    
let print_clocks = ref false


  		




  20
  20
  
    
let delay_calculus = ref true


  		




  21
  21
  
    
let track_exceptions = ref true


  		




  22
  22
  
    
let ansi = ref false


  		




  ......




  52
  52
  
    
let gen_mcdc = ref false


  		




  53
  53
  
    
let no_mutation_suffix = ref false


  		




  54
  54
  
    

  		




  55
  
  
    

  		




  
  55
  
    
let solve_al = ref false


  		




  56
  56
  
    

  		




  57
  57
  
    
(* Local Variables: *)


  		




  58
  58
  
    
(* compile-command:"make -C .." *)


  		












Also available in:  Unified diff