From 8e02b3ca3061ea335c1e2e966be84013d3278612 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 4 May 2022 11:21:39 +0200
Subject: [PATCH] fix crash when no fst input

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

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 654378d09..d085fab2d 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -246,7 +246,8 @@ struct SimInstance
 			{
 				std::string name = cell->parameters.at(ID::MEMID).decode_string();
 				mem_cells[cell] = name;
-				fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
+				if (shared->fst)
+					fst_memories[name] = shared->fst->getMemoryHandles(scope + "." + RTLIL::unescape_id(name));
 			}
 			if (cell->type.in(ID($assert), ID($cover), ID($assume))) {
 				formal_database.insert(cell);
-- 
2.30.2