Revision e8f55c25 src/plugins/salsa/salsaDatatypes.ml
src/plugins/salsa/salsaDatatypes.ml  

113  113 
*) 
114  114 
let inject cst = match cst with 
115  115 
 LT.Const_int(i) > Salsa.Builder.mk_cst (Salsa.Float.Domain.inject_int i) 
116 
 LT.Const_real (c,e,s) > (* TODO: this is incorrect. We should rather


116 
 LT.Const_real r > (* TODO: this is incorrect. We should rather


117  117 
compute the error associated to the float *) 
118  118 
(* let f = float_of_string s in *) 
119 
let n = Corelang.cst_real_to_num c e in


119 
let n = Real.to_num r in


120  120 
Salsa.Builder.mk_cst (Salsa.Float.Domain.inject_num n) 
121  121 

122  122 
(* let r = Salsa.Prelude.r_of_f_aux r in *) 
Also available in: Unified diff