Robust/src/Benchmarks/Ownership/MMGTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------movePacman(Pacman p)--------
   3 No aliases between flagged objects in Task movePacman(Pacman p).
   4
   5 ---------initMap(Map map)--------
   6 Potential alias between parameter 0 and FlatNew____pacman6987___= NEW Pacman.
   7 Potential alias between parameter 0 and FlatNew____ghost6966___= NEW Ghost.
   8
   9 ---------updatePac(Map map, Pacman p)--------
  10 No aliases between flagged objects in Task updatePac(Map map, Pacman p).
  11
  12 ---------next(Map map)--------
  13 Potential alias between parameter 0 and FlatNew____pacman7136___= NEW Pacman.
  14 Potential alias between parameter 0 and FlatNew____ghost7100___= NEW Ghost.
  15
  16 ---------startup(StartupObject s)--------
  17 No aliases between flagged objects in Task startup(StartupObject s).
  18
  19 ---------finish(Map map)--------
  20 No aliases between flagged objects in Task finish(Map map).
  21
  22 ---------updateGhost(Map map, Ghost g)--------
  23 No aliases between flagged objects in Task updateGhost(Map map, Ghost g).
  24
  25 ---------moveGhost(Ghost g)--------
  26 No aliases between flagged objects in Task moveGhost(Ghost g).