Project

General

Profile

Revision bde99c3f src/pathConditions.ml

View differences:

src/pathConditions.ml
79 79
      (compute_neg_expr (cpt_pre+1) e)
80 80

  
81 81
  | Expr_appl (op_name, args, r) when List.mem op_name rel_op -> 
82
    [(expr, cpt_pre), mkpredef_unary_call Location.dummy_loc "not" expr]
82
    [(expr, cpt_pre), mkpredef_call expr.expr_loc "not" [expr]]
83 83

  
84 84
  | Expr_appl (op_name, args, r) -> 
85 85
    List.map 
......
87 87
	(compute_neg_expr cpt_pre args)
88 88

  
89 89
  | Expr_ident _ when (Types.repr expr.expr_type).Types.tdesc = Types.Tbool ->
90
    [(expr, cpt_pre), mkpredef_unary_call Location.dummy_loc "not" expr]
90
    [(expr, cpt_pre), mkpredef_call expr.expr_loc "not" [expr]]
91 91
  | _ -> []
92 92

  
93 93
and  
......
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 stmt =
137
  match stmt with
138
  | Eq eq -> mcdc_node_eq eq
139
  | Aut aut -> assert false
140

  
136 141
let mcdc_top_decl td = 
137 142
  match td.top_decl_desc with
138
  | Node nd -> List.iter mcdc_node_eq nd.node_eqs
143
  | Node nd -> List.iter mcdc_node_stmt nd.node_stmts
139 144
  | _ -> ()
140 145

  
141 146

  

Also available in: Unified diff