Project

General

Profile

« Previous | Next » 

Revision bde99c3f

Added by Xavier Thirioux about 5 years ago

This is the first merge that does compile. Not tested yet.

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