From c4f5c09a8130dcee7d624491e914a1db84db488e Mon Sep 17 00:00:00 2001
From: Tobias Reinhard <16916681+tobireinhard@users.noreply.github.com>
Date: Mon, 7 Nov 2022 14:34:54 -0500
Subject: [PATCH] Altered config to ensure that we don't accidentally rely on a
 concrete small number of cores.

---
 verification/verifast/proof_setup/FreeRTOSConfig.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verification/verifast/proof_setup/FreeRTOSConfig.h b/verification/verifast/proof_setup/FreeRTOSConfig.h
index 8d80c3698..1d4e28020 100644
--- a/verification/verifast/proof_setup/FreeRTOSConfig.h
+++ b/verification/verifast/proof_setup/FreeRTOSConfig.h
@@ -104,7 +104,7 @@
 */
 
 /* SMP port only */
-#define configNUM_CORES                         1
+#define configNUM_CORES                         100
 #define configTICK_CORE                         1
 #define configRUN_MULTIPLE_PRIORITIES           1