Data

Tools

Indexes

Applications

Experiments

Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sosy-lab/benchexec issues and pull requests

#1170 - [WIP] Add output selector

Pull Request - State: open - Opened by t0hsumi about 1 month ago

#1169 - Add error-output option

Pull Request - State: open - Opened by t0hsumi about 1 month ago

#1167 - Capitalize SV-sanitizers name

Pull Request - State: closed - Opened by sim642 about 2 months ago
Labels: tool support

#1166 - Update Witch module

Pull Request - State: closed - Opened by ayazip 2 months ago - 2 comments
Labels: tool support

#1165 - Improve user ns error message

Pull Request - State: closed - Opened by leventeBajczi 2 months ago
Labels: container

#1164 - Solution from error message is not persistent

Issue - State: closed - Opened by leventeBajczi 2 months ago - 2 comments
Labels: container

#1163 - BenchExec shows cgroup subsystem errors even when running under cgroups v2 on Fedora 42

Issue - State: closed - Opened by RehanChalana 2 months ago - 12 comments
Labels: cgroups

#1162 - add testcoca

Pull Request - State: closed - Opened by cvldrt 3 months ago
Labels: enhancement, tool support

#1161 - fix typo: "propated" -> "propagated"

Pull Request - State: closed - Opened by younghojan 3 months ago

#1160 - Added Support for Walltime limit in Vcloud

Pull Request - State: open - Opened by MaxBarth95 3 months ago

#1159 - Update flake8

Issue - State: open - Opened by PhilippWendler 3 months ago

#1158 - Make `<option>` `name` attribute optional in benchmark.dtd

Pull Request - State: closed - Opened by sim642 4 months ago

#1157 - Getting version from Pono

Pull Request - State: closed - Opened by Po-Chun-Chien 4 months ago
Labels: tool support

#1156 - Create bind-mount target directories before executing fuse-overlayfs

Pull Request - State: closed - Opened by t0hsumi 4 months ago - 1 comment

#1155 - Add a path existence check, and if not, create the directory

Pull Request - State: closed - Opened by t0hsumi 5 months ago - 19 comments
Labels: container

#1154 - Document some design decisions regarding witness category

Pull Request - State: closed - Opened by dbeyer 5 months ago

#1153 - Let MetaVal handle validation tasks correctly

Pull Request - State: closed - Opened by marian-lingsch 5 months ago
Labels: tool support

#1150 - Fix a small typo

Pull Request - State: closed - Opened by Po-Chun-Chien 6 months ago

#1149 - Replace `escape` with `encodeURIComponent`

Pull Request - State: closed - Opened by Mamatha1718 6 months ago - 1 comment
Labels: invalid

#1148 - `Replace` escape with `escapeURIComponent`

Pull Request - State: closed - Opened by Mamatha1718 6 months ago - 2 comments
Labels: HTML table

#1147 - Replace escape with encodeURIComponent

Pull Request - State: closed - Opened by Mamatha1718 6 months ago - 1 comment
Labels: invalid, HTML table

#1146 - Retrieving result files when using RunExecutor API

Issue - State: closed - Opened by igouy 6 months ago - 2 comments
Labels: question, container

#1145 - Cgroups issue running as different user (systemd-run gives No medium found)

Issue - State: closed - Opened by rmonat 7 months ago - 11 comments
Labels: cgroups

#1144 - Let RunExecutor log to a file

Issue - State: closed - Opened by igouy 7 months ago - 5 comments
Labels: container

#1143 - Error counts in generated table summary tab #974

Pull Request - State: closed - Opened by Mamatha1718 7 months ago - 1 comment
Labels: invalid, HTML table

#1142 - Suggestions of GSoC 2025 for New Contributors.

Issue - State: closed - Opened by Mamatha1718 7 months ago
Labels: invalid

#1141 - Add a tool-info module for rIC3

Pull Request - State: closed - Opened by Po-Chun-Chien 7 months ago
Labels: enhancement, tool support

#1140 - add "./" to executable paths not containing a directory

Pull Request - State: closed - Opened by dbeyer 7 months ago

#1139 - log errors to the user with more clarity

Pull Request - State: closed - Opened by ricffb 8 months ago

#1138 - update spf to BaseTool2

Pull Request - State: closed - Opened by ricffb 8 months ago

#1137 - use a different deduplication strategy

Pull Request - State: closed - Opened by ricffb 8 months ago

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

Issue - State: open - Opened by PhilippWendler 8 months ago - 6 comments
Labels: container

#1135 - Containerized Tool Info Module loading can fail on WSL2

Issue - State: open - Opened by ricffb 8 months ago - 2 comments
Labels: container

#1134 - Improve avr tool info

Pull Request - State: closed - Opened by Po-Chun-Chien 8 months ago - 1 comment
Labels: tool support

#1133 - Add tool-info modules for MoXI model checkers

Pull Request - State: closed - Opened by Po-Chun-Chien 8 months ago
Labels: tool support

#1132 - Add feature to use podman container when determining version for vcloud-benchmark

Pull Request - State: closed - Opened by ricffb 8 months ago - 6 comments

#1129 - SVF-SVC prop output

Pull Request - State: closed - Opened by Lasagnenator 8 months ago

#1128 - Adjust how the command line is build, the function

Pull Request - State: closed - Opened by marian-lingsch 8 months ago
Labels: tool support

#1127 - Update cooperace to return datarace subproperty violation

Pull Request - State: closed - Opened by vesalvojdani 8 months ago
Labels: tool support

#1126 - Update concurrentwitness2test.py

Pull Request - State: closed - Opened by leventeBajczi 8 months ago
Labels: tool support

#1125 - Refactor WitnessMap toolinfo module to only build the command line for the latest version

Pull Request - State: closed - Opened by marian-lingsch 8 months ago
Labels: tool support

#1124 - Update the toolinfo of WitnessMap for version 0.0.2-dev

Pull Request - State: closed - Opened by marian-lingsch 8 months ago - 11 comments
Labels: tool support

#1123 - Update swat.py

Pull Request - State: closed - Opened by nils-loose 8 months ago
Labels: tool support

#1122 - Hornix: Strip tool name from the version output

Pull Request - State: closed - Opened by blishko 8 months ago
Labels: tool support

#1121 - Enable Deagle to output various FALSE types

Pull Request - State: closed - Opened by Misasasa 8 months ago
Labels: tool support

#1120 - The wrong variable was passed to filter the options

Pull Request - State: closed - Opened by marian-lingsch 8 months ago

#1119 - WitnessMap always returns the version directl

Pull Request - State: closed - Opened by marian-lingsch 8 months ago

#1118 - Hornix: Get only version number, without the name of the tool

Pull Request - State: closed - Opened by blishko 8 months ago - 1 comment
Labels: tool support

#1117 - Korn: fix argument processing

Pull Request - State: closed - Opened by gernst 8 months ago
Labels: tool support

#1116 - SV-COMP 2025: Update the processing of output of Hornix

Pull Request - State: closed - Opened by blishko 8 months ago
Labels: tool support

#1115 - Add required folder to Nacpa Tool Info

Pull Request - State: closed - Opened by ricffb 8 months ago
Labels: tool support

#1114 - Add support for task definitions in format version 2.1

Pull Request - State: closed - Opened by marian-lingsch 9 months ago - 1 comment

#1113 - update datarace verdict for esbmc

Pull Request - State: closed - Opened by Anthonysdu 9 months ago
Labels: tool support

#1112 - RacerF: Specify violated property (data race)

Pull Request - State: closed - Opened by TDacik 9 months ago
Labels: tool support

#1111 - More log messages during start of BenchExec

Issue - State: open - Opened by PhilippWendler 9 months ago
Labels: usability

#1110 - Update MetaVal++ to correctly pass the input file correctly in the command-line

Pull Request - State: closed - Opened by marian-lingsch 9 months ago
Labels: tool support

#1108 - Add the containerImage CLI arg to the BenchCloud Executor

Pull Request - State: closed - Opened by ricffb 9 months ago

#1107 - Ultimate: fix output for data race violations

Pull Request - State: closed - Opened by maul-esel 9 months ago
Labels: tool support

#1106 - Use result.RESULT_FALSE_DATARACE constant in dartagnan

Pull Request - State: closed - Opened by hernanponcedeleon 9 months ago
Labels: tool support

#1105 - Add constant for 'false(no-data-race)'

Pull Request - State: closed - Opened by dbeyer 9 months ago - 1 comment

#1104 - Modify the project_url in aise.py

Pull Request - State: closed - Opened by liar1007 9 months ago
Labels: tool support

#1103 - Consider start method for containerized tool-info module

Issue - State: open - Opened by PhilippWendler 9 months ago - 2 comments
Labels: container

#1102 - Update Ultimate tool info module

Pull Request - State: closed - Opened by maul-esel 9 months ago - 1 comment
Labels: tool support

#1101 - Fix Korn toolinfo module, include data_model

Pull Request - State: closed - Opened by gernst 9 months ago - 1 comment
Labels: tool support

#1100 - update tool-info module of aise for SVCOMP25

Pull Request - State: closed - Opened by liar1007 9 months ago
Labels: tool support

#1099 - Fix regression of runs marked as failed on OOM for cgroupsv2

Pull Request - State: closed - Opened by PhilippWendler 9 months ago
Labels: cgroups

#1097 - Fix race condition when creating a systemd scope for cgroups v2 usage

Pull Request - State: closed - Opened by PhilippWendler 9 months ago
Labels: cgroups

#1096 - AssertionError in _create_systemd_scope_for_us

Issue - State: closed - Opened by PhilippWendler 9 months ago
Labels: bug, cgroups

#1095 - Fix cgroup cleanup in tests

Issue - State: closed - Opened by PhilippWendler 9 months ago
Labels: cgroups

#1094 - SVF-SVC module rename.

Pull Request - State: closed - Opened by Lasagnenator 9 months ago
Labels: tool support

#1093 - Update all validators to handle Validation tasks

Pull Request - State: closed - Opened by marian-lingsch 9 months ago - 21 comments
Labels: tool support

#1092 - Inconsistent line endings in tool-info modules

Issue - State: closed - Opened by marian-lingsch 9 months ago - 1 comment

#1091 - Theta tool-info module update

Pull Request - State: closed - Opened by leventeBajczi 10 months ago - 2 comments
Labels: tool support

#1090 - Add toolinfo module for meta-verifier CoOpeRace

Pull Request - State: closed - Opened by vesalvojdani 10 months ago - 1 comment
Labels: tool support

#1089 - SV-COMP 25: Add tool info for RacerF

Pull Request - State: closed - Opened by TDacik 10 months ago
Labels: tool support

#1088 - Test-comp 2025: Update of script for Fizzer

Pull Request - State: closed - Opened by trtikm 10 months ago - 4 comments
Labels: tool support

#1087 - Added SV-COMP 2025 marker.

Pull Request - State: closed - Opened by rmetta 10 months ago - 2 comments
Labels: tool support

#1086 - Add toolinfo module for MetaVal++

Pull Request - State: closed - Opened by marian-lingsch 10 months ago - 6 comments
Labels: tool support

#1085 - SV-COMP 25 Hornix tool

Pull Request - State: closed - Opened by jankofron 10 months ago
Labels: tool support

#1084 - Add SVF tool info

Pull Request - State: closed - Opened by Lasagnenator 10 months ago
Labels: tool support

#1083 - AProVE 2025

Pull Request - State: closed - Opened by nilslommen 10 months ago
Labels: tool support

#1082 - Add the tool info module for nacpa

Pull Request - State: closed - Opened by ricffb 10 months ago
Labels: tool support

#1081 - add Ultimate Referee, a witness validator

Pull Request - State: closed - Opened by danieldietsch 10 months ago
Labels: tool support

#1080 - VeriAbs Updated for Pre-Runs.

Pull Request - State: closed - Opened by ManojAlladawar56 10 months ago
Labels: tool support

#1079 - adding tool-info for Sikraken

Pull Request - State: closed - Opened by echancrure 10 months ago - 7 comments
Labels: tool support

#1078 - Handle validation tasks inside CPAchecker

Pull Request - State: closed - Opened by marian-lingsch 11 months ago - 12 comments

#1077 - Fix bogus warning message "subprocess is still running"

Pull Request - State: closed - Opened by schroeding 11 months ago

#1075 - Prepare /benchexec cgroup inside BenchExec containers for nested uses?

Issue - State: open - Opened by PhilippWendler 11 months ago
Labels: cgroups

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

Issue - State: open - Opened by PhilippWendler 11 months ago
Labels: container

#1073 - Fix warnings about "subproccess is still running"

Issue - State: closed - Opened by PhilippWendler 11 months ago - 1 comment

#1072 - Extend LXCFS integration

Pull Request - State: closed - Opened by PhilippWendler 12 months ago - 2 comments
Labels: enhancement, container

#1071 - Add tool-info module for super_prove

Pull Request - State: closed - Opened by Po-Chun-Chien 12 months ago
Labels: enhancement, tool support

#1070 - Virtualized /proc/cpuinfo via LXCFS not working

Issue - State: closed - Opened by PhilippWendler 12 months ago - 2 comments
Labels: bug, container