Reran analysis on benchmarks with newest updates

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

diff --git a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
index ed713abfe7c189623577db9b0091d5700dc92de8..bdb8c0918231e33304a89f192f1fa25606f71f7f 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
+++ b/Robust/src/Benchmarks/Ownership/SchedulingJGFSeries.txt
@@ -1,6 +1,6 @@
-Conducting ownership analysis with allocation depth = 3
----------t2(SeriesRunner sr)--------
-Task t2(SeriesRunner sr) contains no aliases between flagged objects.
-
+Conducting ownership analysis with allocation depth = 1
 ---------t1(StartupObject s)--------
 Task t1(StartupObject s) contains no aliases between flagged objects.
+
+---------t2(SeriesRunner sr)--------
+Task t2(SeriesRunner sr) contains no aliases between flagged objects.