Robust/src/Benchmarks/Ownership/results/withStrongUp/BankApp.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 ---------ProcessRequest(BankAppSocket bas, BankDatabase Bank)--------
   9 No aliases between flagged objects in Task ProcessRequest(BankAppSocket bas, BankDatabase Bank).