Project

General

Profile

« Previous | Next » 

Revision 65de9931

Added by Pierre-Loïc Garoche about 5 years ago

New feature to specify the number of digits to be printed

View differences:

src/options.ml
52 52 
let cpp       = ref false
53 53 
let int_type  = ref "int"
54 54 
let real_type = ref "double"
55 
let print_prec_double = ref 15
56 
let print_prec_float = ref 10
55 57 

  		




  56
  58
  
    
let sfunction = ref ""


  		




  57
  59
  
    

  		




  ......




  61
  63
  
    
let gen_mcdc = ref false


  		




  62
  64
  
    
let no_mutation_suffix = ref false


  		




  63
  65
  
    

  		




  
  66
  
    

  		




  
  67
  
    

  		




  
  68
  
    
  


  		




  64
  69
  
    
let set_mpfr prec =


  		




  65
  70
  
    
  if prec > 0 then (


  		




  66
  71
  
    
    mpfr := true;


  		




  ......




  107
  112
  
    
    "-c++" , Arg.Set        cpp      , "c++ backend";


  		




  108
  113
  
    
    "-int" , Arg.Set_string int_type , "specifies the integer type (default=\"int\")";


  		




  109
  114
  
    
    "-real", Arg.Set_string real_type, "specifies the real type (default=\"double\" without mpfr option)";


  		




  
  115
  
    
    "-real-print-prec", Arg.Set_int print_prec_double, "specifies the number of digits to be printed for real values (default=15)";


  		




  110
  116
  
    

  		




  111
  117
  
    
    "-mauve", Arg.String (fun node -> mauve := node; cpp := true; static_mem := false), "generates the mauve code";


  		




  112
  118
  
    
]


  		












Also available in:  Unified diff