Fixed up another canonical misuse, changed wording of alias reporting to see the...

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

diff --git a/Robust/src/Benchmarks/Ownership/WebServer.txt b/Robust/src/Benchmarks/Ownership/WebServer.txt
index 90209166668cd0a243e3cc86e435e6d5ce49b57e..d1c16ee30f36c068ce7313dc0bba6b8fa113631d 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/WebServer.txt
+++ b/Robust/src/Benchmarks/Ownership/WebServer.txt
@@ -1,18 +1,18 @@
 Conducting ownership analysis with allocation depth = 1
 ---------LogRequest(WebServerSocket web, Logger log)--------
-Task LogRequest(WebServerSocket web, Logger log) contains no aliases between flagged objects.
+No aliases between flagged objects in Task LogRequest(WebServerSocket web, Logger log).
 
 ---------ProcessRequest(WebServerSocket web)--------
-Task ProcessRequest(WebServerSocket web) contains no aliases between flagged objects.
+No aliases between flagged objects in Task ProcessRequest(WebServerSocket web).
 
 ---------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
 
 ---------Transaction(WebServerSocket web, Inventory inventorylist)--------
-Task Transaction(WebServerSocket web, Inventory inventorylist) contains no aliases between flagged objects.
+No aliases between flagged objects in Task Transaction(WebServerSocket web, Inventory inventorylist).
 
 ---------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task Startup(StartupObject s).
 
 ---------SendFile(WebServerSocket web)--------
-Task SendFile(WebServerSocket web) contains no aliases between flagged objects.
+No aliases between flagged objects in Task SendFile(WebServerSocket web).