Adding sypet to repo

[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / geometry / 15 / benchmark15.json

diff --git a/sypet-non-incremental/benchmarks/geometry/15/benchmark15.json b/sypet-non-incremental/benchmarks/geometry/15/benchmark15.json
new file mode 100644 (file)
index 0000000..3415df0
--- /dev/null
+++ b/sypet-non-incremental/benchmarks/geometry/15/benchmark15.json
@@ -0,0 +1,20 @@
+{
+  "id": 15,
+  "methodName": "getIntersection",
+  "paramNames": [
+    "sypet_arg0",
+    "sypet_arg1"
+  ],
+  "srcTypes": [
+    "java.awt.geom.Rectangle2D",
+    "java.awt.geom.Ellipse2D"
+  ],
+  "tgtType": "java.awt.geom.Rectangle2D",
+  "packages": [
+    "java.awt.geom"
+  ],
+  "libs": [
+    "./lib/rt7.jar"
+  ],
+  "testPath": "benchmarks/geometry/15/TestSource.java"
+}