This port has been deleted. This page will exist till another port with the name "py37-benchexec" comes into existence.

py37-benchexec (python/py-benchexec) Updated: 2 years, 8 months ago Add to my watchlist

A Framework for Reliable Benchmarking and Resource Measurement
Version: 3.11 License: Apache-2

Maintainers	No Maintainer
Categories	graphics python
Homepage	https://github.com/sosy-lab/benchexec
Platforms	{darwin any}
Variants	-

py27-benchexec

py36-benchexec

py38-benchexec

py-benchexec

py37-lxml

py37-yaml

python37

clang-14

py37-build

py37-installer

py37-nose

py37-setuptools

py37-wheel

lib (1)

py37-test-runner

Loading Port Health

0

Error: Port py37-benchexec not found

last updated: 1 day, 18 hours ago