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

Function arity0FunctionSort

libsolidity/formal/PredicateSort.cpp:104–110  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

102}
103
104SortPointer arity0FunctionSort()
105{
106 return std::make_shared<FunctionSort>(
107 std::vector<SortPointer>(),
108 SortProvider::boolSort
109 );
110}
111
112/// Helpers
113

Callers 1

createErrorBlockMethod · 0.85

Calls

no outgoing calls

Tested by

no test coverage detected