Project

General

Profile

Revision 151117f7 src/plugins/salsa/machine_salsa_opt.ml

View differences:

src/plugins/salsa/machine_salsa_opt.ml
634 634
	      Printers.pp_expr value.LT.eexpr_qfexpr; 
635 635
	    assert false 
636 636
	in
637
	let minv:Salsa.NumMartel.num = Salsa.NumMartel.of_num (get_cst minv) and
638
	    maxv = Salsa.NumMartel.of_num (get_cst maxv) in
637
	(* let minv = Salsa.Float.Domain.of_num (get_cst minv) and *)
638
	(*     maxv = Salsa.Float.Domain.of_num (get_cst maxv) in *)
639 639
	(* if !debug then Format.eprintf "variable %s in [%s, %s]@ " v (Num.string_of_num minv) (Num.string_of_num maxv); *)
640
	RangesInt.enlarge ranges v (Salsa.Float.Domain.nnew minv maxv)
640
	RangesInt.enlarge ranges v (Salsa.Float.Domain.inject_nums (get_cst minv) (get_cst maxv))
641 641
      )
642 642
      | _ -> 
643 643
	Format.eprintf 

Also available in: Unified diff