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

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

diff --git a/Robust/src/Benchmarks/Ownership/WebServerTag.txt b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
index 3a2905a9a796082c0d36be01cf4e1cd19eedcdb5..41a015732f5f3e6a9556cce7110e1d90f6c6a69a 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/WebServerTag.txt
+++ b/Robust/src/Benchmarks/Ownership/WebServerTag.txt
@@ -1,18 +1,18 @@
 Conducting ownership analysis with allocation depth = 1
 ---------SendFile(WebServerSocket web, Socket s)--------
-Task SendFile(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task SendFile(WebServerSocket web, Socket s).
 
 ---------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task Startup(StartupObject s).
 
 ---------Transaction(WebServerSocket web, Inventory inventorylist, Socket s)--------
-Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task Transaction(WebServerSocket web, Inventory inventorylist, Socket s).
 
 ---------ProcessRequest(WebServerSocket web, Socket s)--------
-Task ProcessRequest(WebServerSocket web, Socket s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task ProcessRequest(WebServerSocket web, Socket s).
 
 ---------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).
 
 ---------AcceptConnection(ServerSocket ss)--------
-Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).