Project

General

Profile

« Previous | Next » 

Revision 1d95f425

Added by Pierre-Loïc Garoche almost 3 years ago

  • ID 1d95f425a59e58266b0a5c84f7764616c5b316f9
  • Parent 61df3cb9

Debug en cours sur les calculs Salsa

View differences:

src/plugins/salsa/machine_salsa_opt.ml
119 119
    report ~level:2 (fun fmt -> Format.fprintf fmt " Computing range progress@ ");
120 120

  
121 121
    let old_val = Salsa.Analyzer.evalExpr e_salsa abstractEnv [] in
122
    let new_val = Salsa.Analyzer.evalExpr new_e_salsa abstractEnv [] in
123

  
124
    Format.eprintf "Valeurs@.old : %a@.new : %a@.new2: %a@."
125
      RangesInt.pp_val old_val
126
      RangesInt.pp_val new_val
127
      RangesInt.pp_val e_val
128
   ;
122 129
    let expr, expr_range  =
123 130
      match RangesInt.Value.leq old_val e_val, RangesInt.Value.leq e_val old_val with
124 131
      | true, true -> (

Also available in: Unified diff