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

Method shouldEncode

libsolidity/formal/SMTEncoder.cpp:1096–1099  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

1094}
1095
1096bool SMTEncoder::shouldEncode(ContractDefinition const& _contract) const
1097{
1098 return _contract.canBeDeployed();
1099}
1100
1101bool SMTEncoder::shouldAnalyzeVerificationTargetsFor(SourceUnit const& _source) const
1102{

Callers

nothing calls this directly

Calls 1

canBeDeployedMethod · 0.80

Tested by

no test coverage detected