begriffs open source - cmsis-freertos/blob - Test/CBMC/proofs/Task/TaskCheckForTimeOut/cbmc-viewer.json

   1 { "expected-missing-functions":
   2   [
   3     "vApplicationTickHook",
   4
   5     "pxPortInitialiseStack",
   6     "vPortCloseRunningThread",
   7     "vPortDeleteThread",
   8     "vPortEnterCritical",
   9     "vPortExitCritical",
  10     "vPortGenerateSimulatedInterrupt",
  11     "xPortStartScheduler",
  12
  13     "pvTaskIncrementMutexHeldCount",
  14     "uxTaskGetTaskNumber",
  15     "vTaskInternalSetTimeOutState",
  16     "vTaskMissedYield",
  17     "vTaskPlaceOnEventList",
  18     "vTaskPriorityDisinheritAfterTimeout",
  19     "vTaskSuspendAll",
  20     "xTaskGetCurrentTaskHandle",
  21     "xTaskPriorityDisinherit",
  22     "xTaskPriorityInherit",
  23     "xTaskRemoveFromEventList",
  24     "xTaskResumeAll"
  25   ],
  26   "proof-name": "TaskCheckForTimeOut",
  27   "proof-root": "Test/CBMC/proofs"
  28 }