Home
last modified time | relevance | path

Searched refs:PATCHES_DIR (Results 1 – 4 of 4) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/patches/
Dunpatch.py30 from patches_constants import PATCHES_DIR
33 os.remove(os.path.join(PATCHES_DIR, "patched"))
37 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
Dpatches_constants.py27 PATCHES_DIR = os.path.dirname(os.path.abspath(__file__)) variable
37 absolute_prefix = os.path.abspath(os.path.join(PATCHES_DIR, *shared_prefix))
38 absolute_prefix_port = os.path.abspath(os.path.join(PATCHES_DIR, *shared_prefix_port))
Dpatch.py9 from patches_constants import PATCHES_DIR
17 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
27 with open(os.path.join(PATCHES_DIR, "patched"), "w") as outp:
Dcompute_patch.py33 from patches_constants import PATCHES_DIR
63 proof_dir = os.path.abspath(os.path.join(PATCHES_DIR, "..", "proofs"))
174 path_name = os.path.join(PATCHES_DIR, path_name)