Published January 31, 2018
| Version 1.16
Software
Open
sosy-lab/benchexec: Release 1.16
Description
- Support for energy measurements if cpu-energy-meter is installed.
- Several small bug fixes and improvements
Files
sosy-lab/benchexec-1.16.zip
Files
(1.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:114dee16eb8b2cd491b274c5734152df
|
1.1 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/sosy-lab/benchexec/tree/1.16 (URL)