Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/TM4C/
HDNetworkInterface.c355 BaseType_t success = pdTRUE; in xNetworkInterfaceOutput() local
400 success = pdFALSE; in xNetworkInterfaceOutput()
403 return success; in xNetworkInterfaceOutput()
422 BaseType_t success = pdPASS; in _ethernet_mac_get() local
431 success = pdFAIL; in _ethernet_mac_get()
444 return success; in _ethernet_mac_get()
/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
HDrun-cbmc-proofs.py261 success = add_proof_jobs(proof_dir, proof_root)
263 counter["pass" if success else "fail"].append(proof_dir)