mythril/mypy-stubs/z3/z3types.pyi

mirror of https://github.com/ConsenSys/mythril
from typing import Any

class Z3Exception(Exception):
    def __init__(self, a: Any) -> None:
        self.value = a
        ...

class ContextObj: ...
class Ast: ...
Add z3 mypy stubs; Add types to mythril/laser/smt/*.py 6 years ago			`from typing import Any`

			`class Z3Exception(Exception):`
Fix formatting 6 years ago			`def __init__(self, a: Any) -> None:`
			`self.value = a`
			`...`
Add z3 mypy stubs; Add types to mythril/laser/smt/*.py 6 years ago
Fix formatting 6 years ago			`class ContextObj: ...`
			`class Ast: ...`