Watchdog updates

lf-lang · Apr 17, 2024 · 155be13 · 155be13
1 parent ae7fd0a
commit 155be13
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/core/src/main/java/org/lflang/generator/c/CEnclaveGenerator.java b/core/src/main/java/org/lflang/generator/c/CEnclaveGenerator.java
@@ -187,6 +187,8 @@ private String generateCreateEnvironments(TargetConfig targetConfig) {
               + ","
               + enclave.numModalResetStates
               + ","
+              + enclave.enclaveInfo.numWatchdogs
+              + ","
               + traceFileName
               + ");");
     }

diff --git a/core/src/main/java/org/lflang/generator/c/CEnclaveInstance.java b/core/src/main/java/org/lflang/generator/c/CEnclaveInstance.java
@@ -40,6 +40,7 @@ public class CEnclaveInstance {
   public int numWorkers = 0;
   public int numModalReactors = 0;
   public int numModalResetStates = 0;
+  public int numWatchdogs = 0;
 
   public String getId() {
     return instance.uniqueID();
-Original file line number
+Diff line change
@@ Expand Up @@
                   + ","
                   + enclave.numModalResetStates
                   + ","
+                  + enclave.enclaveInfo.numWatchdogs
+                  + ","
                   + traceFileName
                   + ");");
         }
@@ Expand Down @@