From 2831cd7ee3a6bca6d4c4f26dcdfd7a05f01fd22c Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Fri, 16 Jul 2021 14:51:26 +0100
Subject: [PATCH] Changed size of bags for testing SBC to 32

---
 src_Core/CPU/Core.bsv | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/src_Core/CPU/Core.bsv b/src_Core/CPU/Core.bsv
index 2f8d282..f1cf9e7 100644
--- a/src_Core/CPU/Core.bsv
+++ b/src_Core/CPU/Core.bsv
@@ -39,6 +39,7 @@
 
 `include "ProcConfig.bsv"
 
+
 import Vector::*;
 import BuildVector::*;
 import DefaultValue::*;
@@ -222,6 +223,10 @@ interface CoreFixPoint;
     interface Reg#(Bool) doStatsIfc;
 endinterface
 
+`ifdef CONTRACTS_VERIFY
+typedef 32 BagSz;
+`endif
+
 typedef enum {
 `ifdef INCLUDE_GDB_CONTROL
    CORE_HALTING,
@@ -308,11 +313,11 @@ module mkCore#(CoreId coreId)(Core);
 
 `ifdef PERFORMANCE_MONITORING
 `ifdef CONTRACTS_VERIFY
-    Vector#(SupSize, Bag#(16, CapMem, CapMem)) bags;
+    Vector#(SupSize, Bag#(BagSz, CapMem, CapMem)) bags;
     for(Integer i = 0; i < valueof(SupSize); i=i+1) begin
         bags[i] <- mkSmallBag;
     end
-    Vector#(SupSize, Bag#(16, CapMem, CapMem)) returnBags;
+    Vector#(SupSize, Bag#(BagSz, CapMem, CapMem)) returnBags;
     for(Integer i = 0; i < valueof(SupSize); i=i+1) begin
         returnBags[i] <- mkSmallBag;
     end