Tweak model generate new traces

cosmos · Nov 1, 2022 · c72cd64 · c72cd64
1 parent c75a588
commit c72cd64
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/tests/difference/core/model/src/constants.ts b/tests/difference/core/model/src/constants.ts
@@ -37,7 +37,7 @@ const UNDELEGATE_AMT_MIN = 1000;
 const UNDELEGATE_AMT_MAX = 5000;
 const MAX_NUM_PACKETS_FOR_DELIVER = 6;
 const ENABLE_DOWNTIME = false;
-const ENABLE_KEY_ASSIGNMENT = false;
+const ENABLE_KEY_ASSIGNMENT = true;
 
 const MODEL_INIT_STATE: ModelInitState = {
   h: { provider: 0, consumer: 0 },

diff --git a/tests/difference/core/model/src/main.ts b/tests/difference/core/model/src/main.ts
@@ -301,6 +301,10 @@ function doAction(model: Model, action: Action): Consequence {
       };
     }
   }
+  if (kind === 'KeyAssignment') {
+    // No op
+    return {};
+  }
   throw 'Action kind not recognized';
 }