Search results

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 escape with encodeURIComponent

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

Docker base image

Status: Open.

#1050 In sosy-lab/benchexec;

· incaseoftrouble opened on Jun 7, 2024

progress bar support

enhancement

low priority

usability

Status: Open.

#1034 In sosy-lab/benchexec;

· gipsyh opened on Apr 28, 2024

Improvements to Documentation

documentation

Status: Open.

#999 In sosy-lab/benchexec;

· incaseoftrouble opened on Feb 23, 2024