From c0a156bcb43bb0bb42eb3f2d94c12cda9ca5ee37 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 4 Feb 2022 11:11:36 +0100
Subject: Error detection for co-simulation

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

(limited to 'passes/sat')

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index b2425b531..0687e3e0f 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -961,6 +961,9 @@ struct SimWorker : SimShared
 		log_assert(top == nullptr);
 		fst = new FstData(sim_filename);
 
+		if (scope.empty())
+			log_error("Scope must be defined for co-simulation.\n");
+
 		top = new SimInstance(this, scope, topmod);
 
 		std::vector<fstHandle> fst_clock;
-- 
cgit v1.2.3