Robust/src/Benchmarks/Ownership/SpiderBR.txt

   1 Conducting ownership analysis with allocation depth = 1
   2 ---------processPage(Query q, QueryList ql)--------
   3 Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
   4
   5 ---------requestQuery(Query q)--------
   6 Task requestQuery(Query q) contains no aliases between flagged objects.
   7
   8 ---------readResponse(Query q)--------
   9 Task readResponse(Query q) contains no aliases between flagged objects.
  10
  11 ---------Startup(StartupObject s)--------
  12 Task Startup(StartupObject s) contains no aliases between flagged objects.