Skip to content

Release 1.12
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 02 Oct 14:14
1.12
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Verified
Learn about vigilant mode.
5b495f0
  • Fix execution of runs specified with <withoutfile> tags
    in the benchmark definition: the name of the run was missing
    from the command-line in BenchExec 1.11.
Assets 12
Loading