Project

General

Profile

« Previous | Next » 

Revision 2fdbc781

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

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

View differences:

src/mutation.ml
236 236
  | Expr_tuple l -> 
237 237
    let mut, l' = select_in_list l rdm_mutate_expr in
238 238
    mut, mk_e (Expr_tuple l')
239
  | Expr_ite (i,t,e) -> 
240
    let mut, [i'; t'; e'] = select_in_list [i; t; e] rdm_mutate_expr in
241
    mut, mk_e (Expr_ite (i', t', e'))
242
  | Expr_arrow (e1, e2) -> 
243
    let mut, [e1'; e2'] = select_in_list [e1; e2] rdm_mutate_expr in
244
    mut, mk_e (Expr_arrow (e1', e2'))
239
  | Expr_ite (i,t,e) -> (
240
    let mut, l = select_in_list [i; t; e] rdm_mutate_expr in
241
    match l with
242
    | [i'; t'; e'] -> mut, mk_e (Expr_ite (i', t', e'))
243
    | _ -> assert false
244
  )
245
  | Expr_arrow (e1, e2) -> (
246
    let mut, l = select_in_list [e1; e2] rdm_mutate_expr in
247
    match l with
248
    | [e1'; e2'] -> mut, mk_e (Expr_arrow (e1', e2'))
249
    | _ -> assert false
250
  )
245 251
  | Expr_pre e -> 
246 252
    let select_pre = Random.bool () in
247 253
    if select_pre then

Also available in: Unified diff