From ddc457fbdb7964ebc4ded4c68f356da573509927 Mon Sep 17 00:00:00 2001 From: tony-josi-aws Date: Tue, 26 Dec 2023 11:20:43 +0530 Subject: [PATCH] Fix CBMC failures --- test/cbmc/proofs/CheckOptionsInner/Makefile.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/cbmc/proofs/CheckOptionsInner/Makefile.json b/test/cbmc/proofs/CheckOptionsInner/Makefile.json index f318ae1cd..a902bcc94 100644 --- 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": [