There is a newer version of this record available.

Software Open Access

sosy-lab/benchexec: Release 3.6

Philipp Wendler; Dirk Beyer

  • One tool-info module improved.
Files (2.4 MB)
Name Size
sosy-lab/benchexec-3.6.zip
md5:d966985d8d3afd567aef668083fe27c6
2.4 MB Download
1,666
104
views
downloads
All versions This version
Views 1,666461
Downloads 1049
Data volume 190.7 MB21.7 MB
Unique views 1,153437
Unique downloads 486

Share

Cite as