Revision 728be1e1
| src/normalization.ml | ||
|---|---|---|
| 370 | 370 |
let assert_expr = assert_.assert_expr in |
| 371 | 371 |
let (defs, vars'), expr = |
| 372 | 372 |
normalize_expr |
| 373 |
~alias:false
|
|
| 373 |
~alias:true (* forcing introduction of new equations for fcn calls *)
|
|
| 374 | 374 |
node |
| 375 | 375 |
[] (* empty offset for arrays *) |
| 376 | 376 |
([], vars) (* defvar only contains vars *) |
Also available in: Unified diff