Reran analysis on benchmarks with newest updates

[IRC.git] / Robust / src / Benchmarks / Ownership / PERTTag.txt

diff --git a/Robust/src/Benchmarks/Ownership/PERTTag.txt b/Robust/src/Benchmarks/Ownership/PERTTag.txt
index cf0307830461398a12f0efa506dcb4dceeda1a7d..06d1e11840a93812c1bfbe20a351f807ee87695b 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/PERTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/PERTTag.txt
@@ -1,15 +1,15 @@
-Conducting ownership analysis with allocation depth = 3
----------prob(Estimator e)--------
-Task prob(Estimator e) contains no aliases between flagged objects.
+Conducting ownership analysis with allocation depth = 1
+---------estimateStage(Stage s)--------
+Task estimateStage(Stage s) contains no aliases between flagged objects.
 
 ---------sampling(Stage s)--------
 Task sampling(Stage s) contains no aliases between flagged objects.
 
----------startup(StartupObject s)--------
-Task startup(StartupObject s) contains no aliases between flagged objects.
-
 ---------estimate(Estimator e, Stage s)--------
 Task estimate(Estimator e, Stage s) contains no aliases between flagged objects.
 
----------estimateStage(Stage s)--------
-Task estimateStage(Stage s) contains no aliases between flagged objects.
+---------startup(StartupObject s)--------
+Task startup(StartupObject s) contains no aliases between flagged objects.
+
+---------prob(Estimator e)--------
+Task prob(Estimator e) contains no aliases between flagged objects.