updating results

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

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