This port has been deleted. This page will exist till another port with the name "py27-benchexec" comes
into existence.
py27-benchexec (python/py-benchexec) Add to my watchlist
A Framework for Reliable Benchmarking and Resource MeasurementVersion: 2.5.1 License: Apache-2
Maintainers | No Maintainer |
Categories | graphics python |
Homepage | https://github.com/sosy-lab/benchexec/ |
Platforms | darwin |
Variants |
|
Subport(s) (4)
"py27-benchexec" depends on
lib (4)
build (3)
Ports that depend on "py27-benchexec"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: Port py27-benchexec not found
last updated: 13 hours ago