Project

General

Profile

« Previous | Next » 

Revision 7ecfca04

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

  • ID 7ecfca04f31650f27ba5dec18a590311f47c15e8
  • Parent 84074455

Merged the master branch into mutation. Mutation of floats has been removed (temporarily)

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