diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c')
-rw-r--r-- | FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c b/FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c index 52295bc81..0a307cbf7 100644 --- a/FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c +++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskSwitchContext/TaskSwitchContext_harness.c @@ -42,13 +42,13 @@ BaseType_t xPrepareTaskLists( void ); */ void harness() { - BaseType_t xTasksPrepared; + BaseType_t xTasksPrepared; - vSetGlobalVariables(); - xTasksPrepared = xPrepareTaskLists(); + vSetGlobalVariables(); + xTasksPrepared = xPrepareTaskLists(); - if ( xTasksPrepared != pdFAIL ) - { - vTaskSwitchContext(); - } + if( xTasksPrepared != pdFAIL ) + { + vTaskSwitchContext(); + } } |