MCPcopy Create free account
hub / github.com/argotorg/solidity / SMTUse

Class SMTUse

scripts/bytecodecompare/prepare_report.py:41–44  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

39
40
41class SMTUse(Enum):
42 PRESERVE = 'preserve'
43 DISABLE = 'disable'
44 STRIP_PRAGMAS = 'strip-pragmas'
45
46
47@dataclass(frozen=True)

Callers 1

prepare_report.pyFile · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected