Project

General

Profile

Revision ff6ba54e src/pathConditions.ml

View differences:

src/pathConditions.ml
153 153
      v
154 154
      Printers.pp_expr expr);
155 155
  let vl, leafs_n_neg_expr = compute_neg_expr 0 expr in
156
  if List.length leafs_n_neg_expr > 1 then (
156
  if List.length leafs_n_neg_expr >= 1 then (
157 157
    List.fold_left (fun accu ((vi, nb_pre), expr_neg_vi) ->
158 158
      (mcdc_var  (mk_pre nb_pre vi) expr expr_neg_vi)::accu
159 159
    ) vl leafs_n_neg_expr
160 160
  )
161
  else vl
161
  else
162
    (* TODO: deal with the case length xxx = 1 with a simpler condition  *)
163
    vl
162 164

  
163 165
and gen_mcdc_cond_guard expr =
164 166
  report ~level:1 (fun fmt ->
165 167
    Format.fprintf fmt".. Generating MC/DC cond for guard %a@."
166 168
      Printers.pp_expr expr);
167 169
  let vl, leafs_n_neg_expr = compute_neg_expr 0 expr in
168
  if List.length leafs_n_neg_expr > 1 then (
170
  if List.length leafs_n_neg_expr >= 1 then (
169 171
    List.fold_left (fun accu ((vi, nb_pre), expr_neg_vi) ->
170 172
      (mcdc_var  (mk_pre nb_pre vi) expr expr_neg_vi)::accu
171 173
    ) vl leafs_n_neg_expr)
172 174
  else
175
    (* TODO: deal with the case length xxx = 1 with a simpler condition  *)
173 176
    vl
174 177
  
175 178

  

Also available in: Unified diff