Zenodo.org will be unavailable for 2 hours on September 29th from 06:00-08:00 UTC. See announcement.
There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 2.5.1

Philipp Wendler; Dirk Beyer

This release does not contain any changes to BenchExec itself, just for a script in the contrib directory.

Files (1.9 MB)
Name Size
sosy-lab/benchexec-2.5.1.zip
md5:4c170d860d3b69c6cec03e04fb576a30
1.9 MB Download
2,256
143
views
downloads
All versions This version
Views 2,25653
Downloads 1435
Data volume 342.1 MB9.3 MB
Unique views 1,67552
Unique downloads 795

Share

Cite as