diff options
Diffstat (limited to 'FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json')
-rw-r--r-- | FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json b/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json index 12cc4e7b4..bad8abdd0 100644 --- a/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json +++ b/FreeRTOS/Test/CBMC/proofs/Task/TaskIncrementTick/Configurations.json @@ -48,7 +48,7 @@ "CBMCFLAGS": [ "--unwind 1", - "--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.0:4" + "--unwindset prvInitialiseTaskLists.0:8,vListInsert.0:2,xTaskIncrementTick.5:4" ], "OBJS": [ |