Search results

Feature request: allow tool module to specify reason of unknown result

Status: Open.

#1224 In sosy-lab/benchexec;

· TDacik opened on Nov 14, 2025

Too many open files

Status: Open.

#1220 In sosy-lab/benchexec;

· sim642 opened on Nov 13, 2025

Hyperrefs in table-generator tables

enhancement

HTML table

usability

Status: Open.

Feature

#1217 In sosy-lab/benchexec;

· matthiaskettl opened on Nov 12, 2025

Switch default for result files written by benchexec

usability

Status: Open.

#1216 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 10, 2025

· 

Release 4.0

Periodic writes to task-set-specific result files

low priority

Status: Open.

#1215 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 10, 2025

Fixed-size disk storage via loop mounts as alternative to tmpfs

containerrelated to container moderelated to container mode

low priority

Status: Open.

#1214 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 10, 2025

Sqlite export for benchmark results

low priority

Status: Open.

#1213 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 10, 2025

Table Min:Max filter produces unexpected results due to rounded values

HTML table

Status: Open.

#1208 In sosy-lab/benchexec;

· sim642 opened on Nov 6, 2025

Tablegenerator mixing booleans and strings in CSV's

bug

Status: Open.

#1185 In sosy-lab/benchexec;

· marian-lingsch opened on Oct 15, 2025

Tablegenerator sometimes does not generated a column with expected verdict

Status: Open.

#1184 In sosy-lab/benchexec;

· marian-lingsch opened on Oct 15, 2025

Long File Names Cause BenchExec to Throw an Error When Processing Run Results

low priority

Status: Open.

#1180 In sosy-lab/benchexec;

· baierd opened on Oct 6, 2025

Update flake8

Status: Open.

#1159 In sosy-lab/benchexec;

· PhilippWendler opened on Apr 22, 2025