Project

General

Profile

« Previous | Next » 

Revision cff64531

Added by Xavier Thirioux over 6 years ago

bug in CSE, was disregarding clock

View differences:

src/normalization.ml
78 78 

  		




  79
  79
  
    
(* Get the equation in [defs] with [expr] as rhs, if any *)


  		




  80
  80
  
    
let get_expr_alias defs expr =


  		




  81
  
  
    
 try Some (List.find (fun eq -> is_eq_expr eq.eq_rhs expr) defs)


  		




  
  81
  
    
 try Some (List.find (fun eq -> Clocks.eq_clock eq.eq_rhs.expr_clock expr.expr_clock && is_eq_expr eq.eq_rhs expr) defs)


  		




  82
  82
  
    
 with


  		




  83
  83
  
    
 | Not_found -> None


  		




  84
  84
  
    
  


  		












Also available in:  Unified diff