From 8268a79af547d716b597b670c9d82cd53ee458a2 Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Wed, 18 Mar 2026 14:06:18 -0700
Subject: [PATCH] debug before assertion

---
 passes/sat/sim.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 113a15bdd..d470d760f 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -444,6 +444,13 @@ struct SimInstance
 		bool did_something = false;
 
 		sig = sigmap(sig);
+		if (shared->debug) {
+			log("GetSize(sig) %s: %d, GetSize(value) %s: %d\n",
+				log_signal(sig),
+				GetSize(sig),
+				log_signal(value),
+				GetSize(value));
+		}
 		log_assert(GetSize(sig) <= GetSize(value));
 
 		for (int i = 0; i < GetSize(sig); i++)