Revision 13507742
Added by Pierre-Loïc Garoche over 7 years ago
| 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
Refactored some code: optimization of machine