Robust/src/Benchmarks/Ownership/SchedulingFilterBank.txt

   1 Conducting ownership analysis with allocation depth = 3
   2 ---------t2(FilterBankAtom fba)--------
   3 Task t2(FilterBankAtom fba) contains no aliases between flagged objects.
   4
   5 ---------t1(StartupObject s)--------
   6 Task t1(StartupObject s) contains no aliases between flagged objects.
   7
   8 ---------t3(FilterBank fb, FilterBankAtom fba)--------
   9 Task t3(FilterBank fb, FilterBankAtom fba) contains no aliases between flagged objects.
  10
  11 ---------t4(FilterBank fb)--------
  12 Task t4(FilterBank fb) contains no aliases between flagged objects.