Skip to content

Release 3.2
Compare
Choose a tag to compare
@PhilippWendler PhilippWendler released this 26 Aug 07:54
3.2
This tag was signed with the committer’s verified signature.
PhilippWendler Philipp Wendler
GPG key ID: 62C0F78C31A9DE8C
Verified
Learn about vigilant mode.
4594b0e
  • The HTML tables produced by table-generator now provide a score-based quantile plot in addition to the regular quantile plot if scores are used. If available, it is shown by default on the tab for quantile plots.
    Score-based quantile plots are for example used by SV-COMP to visualize results.
  • Better axis labels in scatter plot of HTML tables.
  • More auxiliary lines available in scatter plot of HTML tables.
  • New tool-info module added.

Bug fixes:

  • Fix crash in benchexec if a non-SV-COMP property was used.
  • Fix for empty property files being treated as SV-COMP properties.
  • Fix unnecessarily large I/O for text file with results of benchexec during benchmarking. The .results.txt file is now written incrementally.
  • Fix incorrect handling of <withoutfile> tasks if the tool-info module declared a non-standard working directory.
  • Small fix for the new filter overlay in the HTML tables when the first run set has no filter.
Assets 8
Loading