The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.
|
|
import pytest
import pycarl
# Skip not supported functionality cln = pytest.mark.skipif(not pycarl.has_cln(), reason="No support for CLN") parser = pytest.mark.skipif(not pycarl.has_parser(), reason="No support for carlparser")
# Parametrize available number types import pycarl.gmp
parameters = [pycarl.gmp] names = ["gmp"]
if pycarl.has_cln(): import pycarl.cln
parameters.append(pycarl.cln) names.append("cln")
class PackageSelector: @pytest.fixture(params=parameters, ids=names) def package(self, request): return request.param
|