Robust/src/Benchmarks/Ownership/TileSearchTag.txt

   1 Conducting ownership analysis with allocation depth = 3
   2 ---------findNewFits(SubProblem sp, GlobalCounter counter)--------
   3 Task findNewFits(SubProblem sp, GlobalCounter counter) contains no aliases between flagged objects.
   4
   5 ---------Startup(StartupObject s)--------
   6 Task Startup(StartupObject s) contains no aliases between flagged objects.
   7
   8 ---------findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter)--------
   9 Task findHighestScore(SubProblem pSp, SubProblem cSp, GlobalCounter counter) contains no aliases between flagged objects.
  10
  11 ---------printHighestScore(SubProblem sp)--------
  12 Task printHighestScore(SubProblem sp) contains no aliases between flagged objects.
  13
  14 ---------scoreSubProbleam(SubProblem sp)--------
  15 Task scoreSubProbleam(SubProblem sp) contains no aliases between flagged objects.