Module imandra.core

Classes

class Client (api_key=None, scheme=None, host=None, **kwargs)

Expand source code

class Client(BaseClient):
    def __init__(self, api_key=None, scheme=None, host=None, **kwargs):
        config = auth.Config(
            api_key=api_key, scheme=scheme, host=host, api_version="internal"
        )
        kwargs["url"] = config.get_url() + "/imandrax"
        kwargs["auth_token"] = config.get_api_key()
        super().__init__(**kwargs)

Ancestors

• Client
• BaseClient

Inherited members

• Client:
  • mk_context