Make CBMC use 64 core runners

Author: AniruddhaKanhere

.github/workflows/ci.yml

@@ -443,7 +443,7 @@ jobs:
 
   proof_ci:
     if: ${{ github.event.pull_request }}
-    runs-on: cbmc_ubuntu-latest_16-core
+    runs-on: cbmc_ubuntu-latest_64-core
     steps:
       - name: Set up CBMC runner
         uses: FreeRTOS/CI-CD-Github-Actions/set_up_cbmc_runner@main

test/cbmc/proofs/parsing/ProcessIPPacket_IPv6/prvAllowIPPacketIPv6/Configurations.json

@@ -27,7 +27,7 @@
       [
         "ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM=1",
         "ipconfigETHERNET_DRIVER_FILTERS_PACKE,TS=1",
-        "FREERTOS_TCP_ENABLE_VERIFICATION",
+        "FREERTOS_TCP_ENABLE_VERIFICATION=1",
         "ipconfigNETWORK_MTU=200",
         "ipconfigTCP_MSS=586",
         "ipconfigUSE_DHCP=0"
@@ -38,7 +38,7 @@
       [
         "ipconfigDRIVER_INCLUDED_RX_IP_CHECKSUM=0",
         "ipconfigETHERNET_DRIVER_FILTERS_PACKETS=0",
-        "FREERTOS_TCP_ENABLE_VERIFICATION",
+        "FREERTOS_TCP_ENABLE_VERIFICATION=1",
         "ipconfigNETWORK_MTU=200",
         "ipconfigTCP_MSS=586",
         "ipconfigUSE_DHCP=0"