Reran analysis on benchmarks with newest updates

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

diff --git a/Robust/src/Benchmarks/Ownership/TTTTag.txt b/Robust/src/Benchmarks/Ownership/TTTTag.txt
index e25112f40fdc5a9cd77c99792805465f15d970ec..a06f33cc31c17dd358e02ae9febf36662ce821af 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/TTTTag.txt
+++ b/Robust/src/Benchmarks/Ownership/TTTTag.txt
@@ -1,21 +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.
+Conducting ownership analysis with allocation depth = 1
+---------AcceptConnection(ServerSocket ss)--------
+Task AcceptConnection(ServerSocket ss) 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.
+---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
+Task ProcessRequest(TTTServerSocket ttts, Socket s) contains no aliases between flagged objects.
+
+---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
+Task ProcessMove(TTTServerSocket ttts, Board tttBoard) 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.
+---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
+Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s) contains no aliases between flagged objects.