Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / joda / 20 / benchmark20.json

diff --git a/sypet-non-incremental/benchmarks/joda/20/benchmark20.json b/sypet-non-incremental/benchmarks/joda/20/benchmark20.json
new file mode 100644 (file)
index 0000000..0d20957
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/joda/20/benchmark20.json
@@ -0,0 +1,20 @@
+{
+  "id": 20,
+  "methodName": "daysOfMonth",
+    "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1"
+  ],
+  "srcTypes": [
+    "java.lang.String",
+    "java.lang.String"
+  ],
+  "tgtType": "int",
+  "packages": [
+    "org.joda.time"
+  ],
+  "libs": [
+    "./lib/joda-time-2.8.2.jar"
+  ],
+  "testPath": "benchmarks/joda/20/TestSource.java"
+}