ran all benchmarks with new method context version, alias reports are the same
[IRC.git] / Robust / src / Benchmarks / Ownership / TTTTag.txt
1 Conducting ownership analysis with allocation depth = 1
2 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
3 No aliases between flagged objects in Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s).
4
5 ---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
6 No aliases between flagged objects in Task ProcessRequest(TTTServerSocket ttts, Socket s).
7
8 ---------Startup(StartupObject s)--------
9 No aliases between flagged objects in Task Startup(StartupObject s).
10
11 ---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
12 No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s).
13
14 ---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
15 No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
16
17 ---------AcceptConnection(ServerSocket ss)--------
18 No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
19
20 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
21 No aliases between flagged objects in Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s).