Add float benchmarks for java
This MR adds new java benchmarks for float calculations. The programs test float (or double) calulation and mathematical operations of Java programs. They originally come from benchmark of the Concolic Walk project, and are included in the benchmark of our paper.
I do not understand how to achieve the goal suggest to add it to benchmark definitions (.XML) in repositories for benchmark-definitions below.
-
programs added to new and appropriately named directory -
license present and acceptable (in machine-readable comment at beginning of program as specified by the REUSE project) -
contributed-by present (either in README file or as comment at beginning of program) -
programs added to a .set
file of an existing category, or new sub-category established (if justified) -
suggest to add it to benchmark definitions (.XML) in repositories for benchmark-definitions -
intended property matches the corresponding .prp
file -
programs and expected answer added to a .yml
file according to task definitions
-
data model present in task-definition file -
original (ideally not preprocessed) sources present -
preprocessed files present -
preprocessed files generated with correct architecture -
Makefile added with correct content and without overly broad suppression of warnings