Home
last modified time | relevance | path

Searched defs:template (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
HDmake_common_makefile.py180 def write_makefile(opsys, template, defines, makefile): argument
223 def makefile_from_template(opsys, template, defines, makefile="Makefile"): argument
/FreeRTOS-Plus-TCP-v4.0.0/test/unit-test/FreeRTOS_DNS_Cache/
HDFreeRTOS_DNS_Cache_utest.c370 char template[] = "helloXXXXXX"; in test_processDNS_CACHE_exceed_host_entry_limit() local