Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt

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