Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dprepare.py36 CWD = os.getcwd() variable
37 sys.path.append(os.path.normpath(os.path.join(CWD, "..", "patches")))
DMakefile.template74 CWD=$(abspath .)
81 …python3 @TYPE_HEADER_SCRIPT@ --binary $(CWD)/gotos$(FREERTOS)/freertos_kernel/queue.goto --c-file …