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