diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c')
-rw-r--r-- | FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c b/FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c index 557fb598e..d5e2e8f5a 100644 --- a/FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c +++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskGetSchedulerState/TaskGetSchedulerState_harness.c @@ -40,9 +40,9 @@ void vSetGlobalVariables( void ); */ void harness() { - BaseType_t xResult; + BaseType_t xResult; - vSetGlobalVariables(); + vSetGlobalVariables(); - xResult = xTaskGetSchedulerState(); + xResult = xTaskGetSchedulerState(); } |