Adding sypet to repo

[Benchmarks_CSolver.git] / sypet / benchmarks / geometry / 12 / benchmark12.json

diff --git a/sypet/benchmarks/geometry/12/benchmark12.json b/sypet/benchmarks/geometry/12/benchmark12.json
new file mode 100644 (file)
index 0000000..78ea340
--- /dev/null
+++ b/sypet/benchmarks/geometry/12/benchmark12.json
@@ -0,0 +1,20 @@
+{
+  "id": 12,
+  "methodName": "rotateQuadrant",
+  "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1"
+  ],
+  "srcTypes": [
+    "java.awt.geom.Rectangle2D",
+    "int"
+  ],
+  "tgtType": "java.awt.geom.Rectangle2D",
+  "packages": [
+    "java.awt.geom"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/geometry/12/TestSource.java"
+}