Add float and nonlinear benchmarks for java
This MR is created to fix the pipeline problem at merge request #1563 that there is no more compute minutes available for @MLB-SE account. I will close MR #1563 if this MR could be accpeted.
Below are the original description of merge request #1563.
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.
-
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
For C programs
-
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
Edited by MLB-SE