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
1,849
114
views
downloads
All versions This version
Views 1,84939
Downloads 1145
Data volume 226.2 MB9.3 MB
Unique views 1,29938
Unique downloads 585

Share

Cite as