From 8ef7c069e3880cb944a8125ff2c855cf0bc48ac7 Mon Sep 17 00:00:00 2001
From: Mischa Untaga <99098079+MischaU8@users.noreply.github.com>
Date: Wed, 14 Feb 2024 14:45:15 +0100
Subject: optionally assert state

---
 rtt-module.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/rtt-module.js b/rtt-module.js
index 6c35fd2..bd8a1ae 100755
--- a/rtt-module.js
+++ b/rtt-module.js
@@ -149,6 +149,16 @@ module.exports.fuzz = function(fuzzerInputData) {
                 throw new UndoSeedError(`undo caused seed change from ${seed} to ${state.seed}`)
             }
         }
+
+        if (RULES.assertState) {
+            try {
+                RULES.assertState(state)
+            } catch (e) {
+                log_crash(replay, state, view, step, active, action, args)
+                throw new RulesCrashError(e, e.stack)
+            }
+        }
+
         step += 1
     }
 }
-- 
cgit v1.2.3