Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / benchmarks / xml / 23 / benchmark23.json

diff --git a/sypet/benchmarks/xml/23/benchmark23.json b/sypet/benchmarks/xml/23/benchmark23.json
new file mode 100644 (file)
index 0000000..d4d9d24
--- /dev/null
+++ b/sypet/benchmarks/xml/23/benchmark23.json
@@ -0,0 +1,20 @@
+{
+  "id": 23,
+  "methodName": "getOffsetForLine",
+  "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1"
+  ],
+  "srcTypes": [
+    "javax.swing.text.Document",
+    "int"
+  ],
+  "tgtType": "int",
+  "packages": [
+    "javax.swing.text"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/xml/23/TestSource.java"
+}