Adding sypet to repo
[Benchmarks_CSolver.git] / sypet / benchmarks / geometry / 13 / benchmark13.json
1 {
2   "id": 13,
3   "methodName": "rotate",
4     "paramNames": [
5     "sypet_arg0",
6     "sypet_arg1",
7     "sypet_arg2"
8   ],
9
10   "srcTypes": [
11     "java.awt.geom.Area",
12     "java.awt.geom.Point2D",
13     "double"
14   ],
15   "tgtType": "java.awt.geom.Area",
16   "packages": [
17     "java.awt.geom"
18   ],
19   "libs": [
20     "./lib/rt7.jar"
21   ],
22   "testPath": "benchmarks/geometry/13/TestSource.java"
23 }