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

Method assignment

libsolidity/formal/SMTEncoder.cpp:2112–2115  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

2110}
2111
2112void SMTEncoder::assignment(Expression const& _left, smtutil::Expression const& _right)
2113{
2114 assignment(_left, _right, _left.annotation().type);
2115}
2116
2117void SMTEncoder::assignment(
2118 Expression const& _left,

Callers

nothing calls this directly

Calls 13

isSupportedTypeFunction · 0.85
newValueMethod · 0.80
hasReferenceOrMappingTypeMethod · 0.80
elementsMethod · 0.80
variableMethod · 0.80
categoryMethod · 0.45
expressionMethod · 0.45
kindMethod · 0.45
lengthMethod · 0.45
increaseIndexMethod · 0.45
addAssertionMethod · 0.45
currentValueMethod · 0.45

Tested by

no test coverage detected