bugcov-benchs-for-5.4
The results of the Magma benchmark
Introduced 2022-11-07
slopt_magma_jsons.tar.gz contains the summary of the Magma benchmark (Section 5.4) as JSON files, which was generated by exp2json.py.
The results of the Magma benchmark
slopt_magma_jsons.tar.gz contains the summary of the Magma benchmark (Section 5.4) as JSON files, which was generated by exp2json.py.