Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt

   1 Conducting ownership analysis with allocation depth = 3
   2 ---------t2(SeriesRunner sr)--------
   3 Task t2(SeriesRunner sr) contains no aliases between flagged objects.
   4
   5 ---------t1(StartupObject s)--------
   6 Task t1(StartupObject s) contains no aliases between flagged objects.