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

py38-benchexec (python/py-benchexec) Updated: 2 years, 11 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

py313-benchexec

py36-benchexec

py37-benchexec

py-benchexec

py38-lxml

py38-yaml

python38

clang-16

py38-build

py38-installer

py38-nose

py38-setuptools

py38-wheel

lib (1)

py38-test-runner

Loading Port Health

0

Error: Port py38-benchexec not found

last updated: 1 day, 7 hours ago