Reran analysis on benchmarks with newest updates
[IRC.git] / Robust / src / Benchmarks / Ownership / Conglomerator.txt
index 4c9d372cf3b28e4200e80f3d265f0e73380f21d0..ec1059933dc0d3d6b91e2e76ea41680ccd0d395d 100644 (file)
@@ -1,15 +1,24 @@
-Conducting ownership analysis with allocation depth = 3
+Conducting ownership analysis with allocation depth = 1
 ---------LogRequest(WebServerSocket web, Logger log)--------
 Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
 
----------ReceiveQueryW(Weather l)--------
-Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
+---------SendFile(WebServerSocket web, MySocket s)--------
+Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
 
 ---------LookupS(Stock l)--------
 Task LookupS(Stock l) contains no aliases between flagged objects.
 
----------LookupG(Google l)--------
-Task LookupG(Google l) contains no aliases between flagged objects.
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ReceiveQueryS(Stock l)--------
+Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------LookupW(Weather l)--------
+Task LookupW(Weather l) contains no aliases between flagged objects.
 
 ---------Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st)--------
 Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Stock st) contains no aliases between flagged objects.
@@ -17,20 +26,11 @@ Task Transaction(WebServerSocket web, Weather weather, Google g, MySocket s, Sto
 ---------ReceiveQueryG(Google l)--------
 Task ReceiveQueryG(Google l) contains no aliases between flagged objects.
 
----------SendFile(WebServerSocket web, MySocket s)--------
-Task SendFile(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
-
----------ReceiveQueryS(Stock l)--------
-Task ReceiveQueryS(Stock l) contains no aliases between flagged objects.
+---------ReceiveQueryW(Weather l)--------
+Task ReceiveQueryW(Weather l) contains no aliases between flagged objects.
 
----------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+---------LookupG(Google l)--------
+Task LookupG(Google l) contains no aliases between flagged objects.
 
 ---------ProcessRequest(WebServerSocket web, MySocket s)--------
 Task ProcessRequest(WebServerSocket web, MySocket s) contains no aliases between flagged objects.
-
----------LookupW(Weather l)--------
-Task LookupW(Weather l) contains no aliases between flagged objects.