xref: /FreeRTOS-Plus-TCP-v3.1.0/test/cbmc/proofs/Socket/vSocketWakeUpUser/vSocketWakeUpUser_harness.c (revision 766040fbaa705e1573b1ba76d6d517ce8d5c390d)