diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c')
-rw-r--r-- | FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c b/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c index fbb4956f5..636ca422c 100644 --- a/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c +++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskResumeAll/TaskResumeAll_harness.c @@ -41,13 +41,13 @@ BaseType_t xPrepareTaskLists( void ); */ void harness() { - BaseType_t xTasksPrepared; + BaseType_t xTasksPrepared; - vSetGlobalVariables(); - xTasksPrepared = xPrepareTaskLists(); + vSetGlobalVariables(); + xTasksPrepared = xPrepareTaskLists(); - if ( xTasksPrepared != pdFAIL ) - { - xTaskResumeAll(); - } + if( xTasksPrepared != pdFAIL ) + { + xTaskResumeAll(); + } } |