Method isFunctionErrorBlock

libsolidity/formal/Predicate.cpp:169–172 · view source on GitHub ↗

Source from the content-addressed store, hash-verified

167	}
168
169	bool Predicate::isFunctionErrorBlock() const
170	{
171	return m_type == PredicateType::FunctionErrorBlock;
172	}
173
174	bool Predicate::isInternalCall() const
175	{

generateCounterexampleMethod · 0.80

no outgoing calls

no test coverage detected