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