Project

General

Profile

Revision 7ecfca04 src/pathConditions.ml

View differences:

src/pathConditions.ml
133 133 
  | _::_, Types.Ttuple tl, Expr_tuple rhs -> List.iter2 mcdc_var_def eq.eq_lhs rhs
134 134 
  | _ -> mcdc_expr 0 eq.eq_rhs
135 135 

  		




  
  136
  
    
let mcdc_node_stmt s =


  		




  
  137
  
    
  match s with Eq eq -> mcdc_node_eq eq | _ -> assert false (* should have been removed by now *)


  		




  
  138
  
    
    


  		




  136
  139
  
    
let mcdc_top_decl td = 


  		




  137
  140
  
    
  match td.top_decl_desc with


  		




  138
  
  
    
  | Node nd -> List.iter mcdc_node_eq nd.node_eqs


  		




  
  141
  
    
  | Node nd -> List.iter mcdc_node_stmt nd.node_stmts


  		




  139
  142
  
    
  | _ -> ()


  		




  140
  143
  
    

  		




  141
  144
  
    

  		












Also available in:  Unified diff