update cust sel4 transpile script

santoslab · Jan 28, 2025 · c6b8242 · c6b8242
1 parent 2703925
commit c6b8242
Show file tree

Hide file tree

Showing 5 changed files with 40 additions and 38 deletions.
diff --git a/..._i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h b/..._i_eventControlMock_eventControlMockThread/library/org/sireum/type-org_sireum_IS_7DA5C1.h
@@ -10,7 +10,7 @@ extern "C" {
 // IS[Z, (B, B)]
 #include <type-org_sireum_Tuple2_0862A0.h>
 
-#define MaxIS_7DA5C1 1
+#define MaxIS_7DA5C1 9
 #define IS_7DA5C1SizeT int8_t
 
 typedef struct IS_7DA5C1 *IS_7DA5C1;

diff --git a/...lang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt b/...lang_libraries/EventControlMockThread_i_eventControlMock_eventControlMockThread/sizes.txt
@@ -1,4 +1,4 @@
-ISZ[(B, B)]=1;
+ISZ[(B, B)]=9;
 ISZ[String]=1;
 ISZ[art.Art.PortId]=2;
 ISZ[art.UPort]=2;

diff --git a/...trumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h b/...trumentationMock_instrumentationMockThread/library/org/sireum/type-org_sireum_IS_0C7B5E.h
@@ -10,7 +10,7 @@ extern "C" {
 // IS[Z, ((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))]
 #include <type-org_sireum_Tuple2_04A4F6.h>
 
-#define MaxIS_0C7B5E 1
+#define MaxIS_0C7B5E 9
 #define IS_0C7B5ESizeT int8_t
 
 typedef struct IS_0C7B5E *IS_0C7B5E;

diff --git a/...aries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt b/...aries/InstrumentationMockThread_i_instrumentationMock_instrumentationMockThread/sizes.txt
@@ -1,4 +1,4 @@
-ISZ[((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))]=1;
+ISZ[((B, B, B, B, B, B, B, B, B, B, B, B), (B, B, B, B, B, B, B, B, B, B, B, B))]=9;
 ISZ[String]=1;
 ISZ[art.Art.PortId]=24;
 ISZ[art.UPort]=24;