Robust/src/Benchmarks/Ownership/TTTTag.txt

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