Skip to content

Add float benchmarks for java

MLB-SE requested to merge MLB-SE/sv-benchmarks:main into main

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
Edited by MLB-SE

Merge request reports

Loading