From f5485b59a97fd3c833f696b229a820abd16767b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 19 Jul 2023 16:57:49 +0200
Subject: [PATCH] sim: Bail if there are blackboxes in simulation

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

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 2f353672b..325e12320 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -188,6 +188,10 @@ struct SimInstance
 	{
 		log_assert(module);
 
+		if (module->get_blackbox_attribute(true))
+			log_error("Cannot simulate blackbox module %s (instanced at %s).\n",
+					  log_id(module->name), hiername().c_str());
+
 		if (parent) {
 			log_assert(parent->children.count(instance) == 0);
 			parent->children[instance] = this;