Adding sypet to repo
[Benchmarks_CSolver.git] / sypet-non-incremental / benchmarks / joda / 22 / benchmark22.json
1 {
2   "id": 22,
3   "methodName": "getAge",
4     "paramNames": [
5     "sypet_arg0"
6   ],
7   "srcTypes": [
8     "org.joda.time.DateTime"
9   ],
10   "tgtType": "int",
11   "packages": [
12     "org.joda.time"
13   ],
14   "libs": [
15     "./lib/joda-time-2.8.2.jar"
16   ],
17   "testPath": "benchmarks/joda/22/TestSource.java"
18 }