Project

General

Profile

Revision 13507742 src/machine_code.ml

View differences:

src/machine_code.ml
602 602
     to be declared for each assert *)
603 603
  let new_locals, assert_instrs, nd_node_asserts =
604 604
    let exprl = List.map (fun assert_ -> assert_.assert_expr ) nd.node_asserts in
605
    if Corelang.functional_backend () then
605
    if Backends.is_functional () then
606 606
      [], [], exprl  
607 607
    else (* Each assert(e) is associated to a fresh variable v and declared as
608 608
	    v=e; assert (v); *)

Also available in: Unified diff