From c3fd88624a53c3778ea8ec1a43fc68d0686143ed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 5 Oct 2023 19:23:48 +0200
Subject: [PATCH] sim: Bail on processes

Instead of silently missimulating, error out when there are processes
found in the simulation hierarchy.
---
 passes/sat/sim.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 9ce799735..a8516470c 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -222,6 +222,10 @@ struct SimInstance
 			log_error("Cannot simulate blackbox module %s (instantiated at %s).\n",
 					  log_id(module->name), hiername().c_str());
 
+		if (module->has_processes())
+			log_error("Found processes in simulation hierarchy (in module %s at %s). Run 'proc' first.\n",
+					  log_id(module), hiername().c_str());
+
 		if (parent) {
 			log_assert(parent->children.count(instance) == 0);
 			parent->children[instance] = this;