Project

General

Profile

Revision e8f55c25 src/plugins/salsa/salsaDatatypes.ml

View differences:

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