Robust/src/Benchmarks/Ownership/results/withStrongUp/TTTTag.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------AcceptConnection(ServerSocket ss)--------
   3 No aliases between flagged objects in Task AcceptConnection(ServerSocket ss).
   4
   5 ---------Startup(StartupObject s)--------
   6 No aliases between flagged objects in Task Startup(StartupObject s).
   7
   8 ---------SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s)--------
   9 No aliases between flagged objects in Task SendBoardDisplay(TTTServerSocket ttts, Board tttBoard, Socket s).
  10
  11 ---------ProcessRequest(TTTServerSocket ttts, Socket s)--------
  12 No aliases between flagged objects in Task ProcessRequest(TTTServerSocket ttts, Socket s).
  13
  14 ---------ProcessMove(TTTServerSocket ttts, Board tttBoard)--------
  15 No aliases between flagged objects in Task ProcessMove(TTTServerSocket ttts, Board tttBoard).
  16
  17 ---------SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s)--------
  18 No aliases between flagged objects in Task SendErrorMessage(TTTServerSocket ttts, Board tttBoard, Socket s).
  19
  20 ---------GameOver(TTTServerSocket ttts, Board tttBoard, Socket s)--------
  21 No aliases between flagged objects in Task GameOver(TTTServerSocket ttts, Board tttBoard, Socket s).