mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-10-26 23:36:32 -04:00
0390b0fc9b
* Revert cbmc-viewer flags * Add cbmc-viewer configuration files * Repair CBMC patch to prvCopyDataToQueue Authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
28 lines
708 B
JSON
28 lines
708 B
JSON
{ "expected-missing-functions":
|
|
[
|
|
"vApplicationTickHook",
|
|
|
|
"pxPortInitialiseStack",
|
|
"vPortCloseRunningThread",
|
|
"vPortDeleteThread",
|
|
"vPortEnterCritical",
|
|
"vPortExitCritical",
|
|
"vPortGenerateSimulatedInterrupt",
|
|
"xPortStartScheduler",
|
|
|
|
"pvTaskIncrementMutexHeldCount",
|
|
"uxTaskGetTaskNumber",
|
|
"vTaskInternalSetTimeOutState",
|
|
"vTaskMissedYield",
|
|
"vTaskPlaceOnEventList",
|
|
"vTaskPriorityDisinheritAfterTimeout",
|
|
"vTaskSuspendAll",
|
|
"xTaskGetCurrentTaskHandle",
|
|
"xTaskPriorityDisinherit",
|
|
"xTaskPriorityInherit",
|
|
"xTaskRemoveFromEventList",
|
|
"xTaskResumeAll"
|
|
],
|
|
"proof-name": "prvUnlockQueue",
|
|
"proof-root": "Test/CBMC/proofs"
|
|
}
|