Home
last modified time | relevance | path

Searched refs:bytesOrError (Results 1 – 1 of 1) sorted by relevance

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dnetwork_interface_stubs.c57 int32_t bytesOrError; in NetworkInterfaceReceiveStub() local
62 __CPROVER_assume( bytesOrError <= ( int32_t ) bytesToRecv ); in NetworkInterfaceReceiveStub()
70 bytesOrError = 0; in NetworkInterfaceReceiveStub()
73 return bytesOrError; in NetworkInterfaceReceiveStub()
86 int32_t bytesOrError; in NetworkInterfaceSendStub() local
90 __CPROVER_assume( bytesOrError <= ( int32_t ) bytesToSend ); in NetworkInterfaceSendStub()
105 bytesOrError = bytesToSend; in NetworkInterfaceSendStub()
108 return bytesOrError; in NetworkInterfaceSendStub()