Issues: sosy-lab/benchexec
Overlay for / fails on recent kernels (Ubuntu and likely others)
#776
opened Oct 19, 2021 by
PhilippWendler
Open
1
Remove support for Python 3.7 (and define plans for Python 3....
#986
opened Jan 29, 2024 by
PhilippWendler
Open
3
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Milestones
Assignee
Sort
Issues list
Column filters disabled after clearing Task Filter
bug
HTML table
#1032
opened Apr 26, 2024 by
JawHawk
SLURM: questions about job scheduling and BenchExec run representation
#1028
opened Mar 29, 2024 by
sim642
More flexible result handling for other properties, e.g., quantitative properties
#996
opened Feb 20, 2024 by
PhilippWendler
2 tasks
Better handling of rounding-mode context for decimal calculations in table-generator
#991
opened Feb 14, 2024 by
PhilippWendler
Does eBPF work inside container-mode?
container
related to container mode
#989
opened Feb 12, 2024 by
charmoniumQ
Remove support for Python 3.7 (and define plans for Python 3.8 and 3.9)
survey - PLEASE RESPOND
#986
opened Jan 29, 2024 by
PhilippWendler
Make set of result XML files always consistent and provide parameter for selection
low priority
usability
#983
opened Dec 15, 2023 by
dbeyer
"Permission denied" during copying of result files
container
related to container mode
#975
opened Nov 22, 2023 by
PhilippWendler
Error counts in generated table summary tab
enhancement
GSoC
Potential topic for Google Summer of Code
HTML table
#974
opened Nov 22, 2023 by
sim642
Status comparison for diff tables does not take category into account
#969
opened Nov 19, 2023 by
PhilippWendler
Support for fuse-overlayfs
container
related to container mode
GSoC
Potential topic for Google Summer of Code
#928
opened Oct 25, 2023 by
PhilippWendler
New process architecture for benchexec in container mode
container
related to container mode
#875
opened Nov 7, 2022 by
PhilippWendler
benchexec does not terminate when CTRL-c is pressed
low priority
usability
#874
opened Nov 6, 2022 by
dbeyer
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.