Project

General

Profile

Revision 3cd040e3 src/options.ml

View differences:

src/options.ml
35 35 
let mpfr_prec = ref 100
36 36 
let print_dec_types = ref false
37 37 

  		




  
  38
  
    
(* Option to select the expected behavior of integer division: Euclidian or


  		




  
  39
  
    
   C. Default C !!! *)


  		




  
  40
  
    
let integer_div_euclidean = ref false


  		




  
  41
  
    
  


  		




  38
  42
  
    
let traces = ref false


  		




  39
  43
  
    
let horn_cex = ref false


  		




  40
  44
  
    
let horn_query = ref true


  		












Also available in:  Unified diff