Searched defs:patch (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ | ||
| D | patch.py | 11 def patch(): function |
| D | Makefile | 8 patch: target |
Searched defs:patch (Results 1 – 2 of 2) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/ | ||
| D | patch.py | 11 def patch(): function |
| D | Makefile | 8 patch: target |