Searched refs:summaryCall (Results 1 – 2 of 2) sorted by relevance
237 smtutil::Expression summaryCall(FunctionDefinition const& _function);238 …smtutil::Expression summaryCall(FunctionDefinition const& _function, ContractDefinition const& _co…
1210 m_context.addAssertion(summaryCall(_function)); in defineExternalFunctionInterface()1285 smtutil::Expression CHC::summaryCall(FunctionDefinition const& _function, ContractDefinition const&… in summaryCall() function in CHC1301 smtutil::Expression CHC::summaryCall(FunctionDefinition const& _function) in summaryCall() function in CHC1304 return summaryCall(_function, *m_currentContract); in summaryCall()