Search results

Tablegenerator mixing booleans and strings in CSV's

bug

Status: Open.

#1185 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

Mount points with spaces lead to an error in combination with fuse-overlayfs

containerrelated to container moderelated to container mode

Status: Open.

#1136 In sosy-lab/benchexec;

· PhilippWendler opened on Dec 10, 2024

Containerized Tool Info Module loading can fail on WSL2

containerrelated to container moderelated to container mode

Status: Open.

#1135 In sosy-lab/benchexec;

· ricffb opened on Dec 10, 2024

More log messages during start of BenchExec

usability

Status: Open.

#1111 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 19, 2024

Consider start method for containerized tool-info module

containerrelated to container moderelated to container mode

Status: Open.

#1103 In sosy-lab/benchexec;

· PhilippWendler opened on Nov 12, 2024

Prepare /benchexec cgroup inside BenchExec containers for nested uses?

cgroups

Status: Open.

#1075 In sosy-lab/benchexec;

· PhilippWendler opened on Aug 30, 2024

Warn about --no-container because of evasion of limits and measurements

containerrelated to container moderelated to container mode

Status: Open.

#1074 In sosy-lab/benchexec;

· PhilippWendler opened on Aug 30, 2024

Perfom walltime measurements in nanoseconds

low priority

Status: Open.

#1060 In sosy-lab/benchexec;

· PhilippWendler opened on Jun 28, 2024

Replace <code>escape</code> with <code>encodeURIComponent</code>

HTML table

Status: Open.

#1058 In sosy-lab/benchexec;

· EshaanAgg opened on Jun 28, 2024

Command-line verbs for test_tool_info and check_cgroups

Status: Open.

#1053 In sosy-lab/benchexec;

· PhilippWendler opened on Jun 12, 2024