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

Method valid

test/libyul/ssa/StackShufflerTest.cpp:185–196  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

183 SpilledVariables initialSpilledSet{};
184
185 bool valid() const
186 {
187 bool const fullySpecified =
188 initial.has_value() &&
189 targetStackTop.has_value() &&
190 targetStackSize.has_value();
191 bool const exactMode =
192 initial.has_value() &&
193 targetStackTop.has_value() &&
194 !targetStackSize.has_value();
195 return fullySpecified || exactMode;
196 }
197
198 static ShuffleTestInput parse(std::string_view _source)
199 {

Callers 2

parseMethod · 0.80
runMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected