Home
last modified time | relevance | path

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

/FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/
Dmake_configuration_directories.py35 LOGGER = logging.getLogger("ComputeConfigurations") variable
106 LOGGER.error("Expected DEF as key in a Configurations.json files.")
115 LOGGER.error(e)
116 LOGGER.error(textwrap.dedent("""\
126 LOGGER.error("The offending entry is %s", config)
138 LOGGER.error("Could not find a harness in folder %s.", folder)
139 LOGGER.error("This folder is not processed do the end!")
Dprepare.py51 LOGGER = logging.getLogger("PrepareLogger") variable