Home
last modified time | relevance | path

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

/CoreMQTT-Agent-v1.1.0/test/cbmc/stubs/
Dnetwork_interface_stubs.c47 size_t bytesToRecv ) in NetworkInterfaceReceiveStub() argument
52 __CPROVER_assert( __CPROVER_w_ok( pBuffer, bytesToRecv ), in NetworkInterfaceReceiveStub()
62 __CPROVER_assume( bytesOrError <= ( int32_t ) bytesToRecv ); in NetworkInterfaceReceiveStub()
/CoreMQTT-Agent-v1.1.0/test/cbmc/include/
Dnetwork_interface_stubs.h44 size_t bytesToRecv );