Fix build error for proofs

aws · Oct 11, 2023 · 4c15cdf · 4c15cdf
1 parent b63f7a2
commit 4c15cdf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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,