This port has been deleted. This page will exist till another port with the name "py36-benchexec" comes
into existence.
py36-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)
"py36-benchexec" depends on
lib (4)
build (3)
Ports that depend on "py36-benchexec"
lib (1)Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: Port py36-benchexec not found
last updated: 15 hours ago