Robust/src/Benchmarks/Ownership/results/withStrongUp/PERTTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------estimateStage(Stage s)--------
   3 No aliases between flagged objects in Task estimateStage(Stage s).
   4
   5 ---------sampling(Stage s)--------
   6 No aliases between flagged objects in Task sampling(Stage s).
   7
   8 ---------estimate(Estimator e, Stage s)--------
   9 No aliases between flagged objects in Task estimate(Estimator e, Stage s).
  10
  11 ---------startup(StartupObject s)--------
  12 No aliases between flagged objects in Task startup(StartupObject s).
  13
  14 ---------prob(Estimator e)--------
  15 No aliases between flagged objects in Task prob(Estimator e).