From 4c15cdf51c89037c3463f3fce7fff9718be18d1e Mon Sep 17 00:00:00 2001 From: bradleysmith23 Date: Wed, 11 Oct 2023 14:50:23 -0700 Subject: [PATCH] Fix build error for proofs --- test/cbmc/proofs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/cbmc/proofs.c b/test/cbmc/proofs.c index 88f53af8..f4dd75a0 100644 --- a/test/cbmc/proofs.c +++ b/test/cbmc/proofs.c @@ -389,7 +389,7 @@ void proof_Jobs_UpdateMsg( void ) __CPROVER_assume( bufferLength <= 64 ); buffer = malloc( bufferLength ); - __CPROVER_assume( status >= QUEUED && status <= REJECTED ); + __CPROVER_assume( status >= 0 && status <= 4 ); ret = Jobs_UpdateMsg( status, expectedVersion,