Project

General

Profile

« Previous | Next » 

Revision 151117f7

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

Homogenizing the API for salsa and its use within the plugin

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