Robust/src/Benchmarks/Ownership/results/withStrongUp/SchedulingFilterBank.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(FilterBankAtom fba)--------
   6 No aliases between flagged objects in Task t2(FilterBankAtom fba).
   7
   8 ---------t4(FilterBank fb)--------
   9 No aliases between flagged objects in Task t4(FilterBank fb).
  10
  11 ---------t3(FilterBank fb, FilterBankAtom fba)--------
  12 No aliases between flagged objects in Task t3(FilterBank fb, FilterBankAtom fba).