Run direct now just runs once

harmonylang · Jun 2, 2024 · 24f6a54 · 24f6a54
1 parent dea3a75
commit 24f6a54
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/harmony_model_checker/charm/charm.c b/harmony_model_checker/charm/charm.c
@@ -3860,8 +3860,8 @@ int exec_model_checker(int argc, char **argv){
 
         struct state *sc = calloc(1, sizeof(struct state) +
                     256 * (sizeof(hvalue_t) + 1));
-        for (unsigned int i = 0; i < 10000; i++) {
-            if (i % 100 == 0) {
+        for (unsigned int i = 0; i < 1; i++) {
+            if (i > 0 && i % 100 == 0) {
                 printf("TIME %d\n", i);
             }
             memcpy(sc, state, state_size(state));