Reran analysis on benchmarks with newest updates

[IRC.git] / Robust / src / Benchmarks / Ownership / SpiderBRTag.txt

diff --git a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
index 2aefd2aad76f618dd2ce41fe960400409b66dcb8..2caf46ce808176244bedeca2dba206a94095a453 100644 (file)
--- a/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
+++ b/Robust/src/Benchmarks/Ownership/SpiderBRTag.txt
@@ -1,21 +1,12 @@
-intractable:
+Conducting ownership analysis with allocation depth = 1
+---------requestQuery(Query q, Socket s)--------
+Task requestQuery(Query q, Socket s) contains no aliases between flagged objects.
 
+---------Startup(StartupObject s)--------
+Task Startup(StartupObject s) contains no aliases between flagged objects.
 
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String InetAddress.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing readResponse(Query q, Socket s)
-Analyzing public String Integer.toString()
-Analyzing public static String String.valueOf(Object o)
-Analyzing public String Query.getPathName(String page)
-Analyzing processPage(Query q, QueryList ql)
-Analyzing public String Query.makewebcanonical(String page)
-Analyzing public  Query.Query(String hostname, String path)
-Analyzing processPage(Query q, QueryList ql)
-exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 12
-x x x exhaustiveArityCombinations numDimensions = 24
-x x x x x x
+---------processPage(Query q, QueryList ql)--------
+Task processPage(Query q, QueryList ql) contains no aliases between flagged objects.
 
+---------readResponse(Query q, Socket s)--------
+Task readResponse(Query q, Socket s) contains no aliases between flagged objects.