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