Skip to content

Release 2.1
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 17 Sep 13:32
2.1
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Learn about vigilant mode.
bb19118

benchexec can now partition the Level 3 cache of the CPU for parallel runs and measure cache usage and memory bandwidth, at least on some Intel CPUs and if the pqos and pqos_wrapper are installed. More information is in the documentation.

Furthermore, some error messages for systems without container support were improved.

Assets 12
Loading