current results of ownership analysis on benchmarks

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

diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
new file mode 100644 (file)
index 0000000..e25112f
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/TTTTag.txt
@@ -0,0 +1,21 @@
+Conducting ownership analysis with allocation depth = 3
+---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
+
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+Task ProcessMove(TTTServerSocket ttts, Board tttBoard) contains no aliases between flagged objects.
+
+---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
+
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) contains no aliases between flagged objects.
+
+---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.
+
+---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
+Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.