1
0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2025-07-28 16:22:26 +08:00

Reintroduce quarantined CBMC test ()

This CBMC test would go over the memory limit of most hosts, causing the
kernel to kill the process. With larger memory capabilities, this can be
re-enabled.
This commit is contained in:
Carl Lundin
2021-04-07 12:26:03 -07:00
committed by GitHub
parent 8dafa9fe4a
commit d0d633a524

@ -30,6 +30,15 @@
"ENTRY": "TaskResumeAll",
"DEF":
[
{ "default":
[
"FREERTOS_MODULE_TEST",
"PENDED_TICKS=1",
"'mtCOVERAGE_TEST_MARKER()=__CPROVER_assert(1, \"Coverage marker\")'",
"configUSE_TRACE_FACILITY=0",
"configGENERATE_RUN_TIME_STATS=0"
]
},
{ "useTickHook1":
[
"FREERTOS_MODULE_TEST",