Benchmarks of the bench/coreutils programs with and without flambda
收藏数据链接：
官方服务：
资源简介：
This dataset represents the benchmark results of Goblint, conducted on all coreutils programs of the goblint/bench repository. It includes the following measurements (note: flambda enabled means that Goblint is compiled with flambda and the provided optimization flags): Without flambda With flambda's -Oclassic flag With flambda's -O2 flag With flambda's -O3 flag With flambda's -O3 flag, as well as the following additional flags: -inline-toplevel=400 -inline-max-depth=1 -inline-max-unroll=0
提供机构：
Zenodo创建时间：
2023-01-30
