Robust/src/Benchmarks/Ownership/PERTTag.txt

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