Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / geometry / 13 / benchmark13.json

diff --git a/sypet-non-incremental/benchmarks/geometry/13/benchmark13.json b/sypet-non-incremental/benchmarks/geometry/13/benchmark13.json
new file mode 100644 (file)
index 0000000..f0a117d
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/geometry/13/benchmark13.json
@@ -0,0 +1,23 @@
+{
+  "id": 13,
+  "methodName": "rotate",
+    "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1",
+    "sypet_arg2"
+  ],
+
+  "srcTypes": [
+    "java.awt.geom.Area",
+    "java.awt.geom.Point2D",
+    "double"
+  ],
+  "tgtType": "java.awt.geom.Area",
+  "packages": [
+    "java.awt.geom"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/geometry/13/TestSource.java"
+}