Fix CBMC failures

FreeRTOS · Dec 26, 2023 · ddc457f · ddc457f
1 parent a3fe7fc
commit ddc457f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/cbmc/proofs/CheckOptionsInner/Makefile.json b/test/cbmc/proofs/CheckOptionsInner/Makefile.json
@@ -3,7 +3,7 @@
   "CBMCFLAGS": [
       "--unwind 1",
       "--unwindset __CPROVER_file_local_FreeRTOS_TCP_WIN_c_prvTCPWindowTxCheckAck.0:2",
-      "--unwindset __CPROVER_file_local_FreeRTOS_TCP_WIN_c_prvTCPWindowFastRetransmit.1:2"
+      "--unwindset __CPROVER_file_local_FreeRTOS_TCP_WIN_c_prvTCPWindowFastRetransmit.0:2"
   ],
   "OPT":
   [