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

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

diff --git a/Robust/src/Benchmarks/Ownership/ChatTag.txt b/Robust/src/Benchmarks/Ownership/ChatTag.txt
index 61339f7ee6aef7bb08904f60499bb0c663a5eb2e..0e06beb3cd2f0923a486f9e54ac57ae6ff8e2bd1 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/ChatTag.txt
+++ b/Robust/src/Benchmarks/Ownership/ChatTag.txt
@@ -3,13 +3,13 @@ Conducting ownership analysis with allocation depth = 1
 Potential alias between parameter 0 and FlatNew____m2782___= NEW Message.
 
 ---------SendMessage(Message m)--------
-Task SendMessage(Message m) contains no aliases between flagged objects.
+No aliases between flagged objects in Task SendMessage(Message m).
 
 ---------Startup(StartupObject s)--------
-Task Startup(StartupObject s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task Startup(StartupObject s).
 
 ---------ReadRequest(ChatSocket cs, Socket s)--------
-Task ReadRequest(ChatSocket cs, Socket s) contains no aliases between flagged objects.
+No aliases between flagged objects in Task ReadRequest(ChatSocket cs, Socket s).
 
 ---------AcceptConnection(ServerSocket ss)--------
 Potential alias between FlatNew____cs2817___= NEW ChatSocket and FlatNew____s1933___= NEW Socket.