Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / xml / 28 / benchmark28.json

diff --git a/sypet-non-incremental/benchmarks/xml/28/benchmark28.json b/sypet-non-incremental/benchmarks/xml/28/benchmark28.json
new file mode 100644 (file)
index 0000000..72619d8
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/xml/28/benchmark28.json
@@ -0,0 +1,20 @@
+{
+  "id": 28,
+  "methodName": "readXML",
+    "paramNames": [
+    "sypet_arg0"
+  ],
+  "srcTypes": [
+    "java.io.File"
+  ],
+  "tgtType": "org.w3c.dom.Document",
+  "packages": [
+    "org.w3c.dom",
+    "javax.xml.parsers",
+    "org.xml.sax"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/xml/28/TestSource.java"
+}