Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / xml / 30 / benchmark30.json

diff --git a/sypet-non-incremental/benchmarks/xml/30/benchmark30.json b/sypet-non-incremental/benchmarks/xml/30/benchmark30.json
new file mode 100644 (file)
index 0000000..9c7ba95
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/xml/30/benchmark30.json
@@ -0,0 +1,22 @@
+{
+  "id": 30,
+  "methodName": "getAttributeById",
+    "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1"
+  ],
+  "srcTypes": [
+    "java.io.File",
+    "java.lang.String"
+  ],
+  "tgtType": "java.lang.String",
+  "packages": [
+    "org.w3c.dom",
+    "javax.xml.parsers",
+    "org.xml.sax"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/xml/30/TestSource.java"
+}