From 2397078485aca763453e019fd980ced992b0abed Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 25 Jul 2015 10:31:52 +0200
Subject: [PATCH] Keep modules with $assume (like $assert)

---
 passes/hierarchy/hierarchy.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc
index d655af0d7..bfa3890a2 100644
--- a/passes/hierarchy/hierarchy.cc
+++ b/passes/hierarchy/hierarchy.cc
@@ -315,7 +315,7 @@ bool set_keep_assert(std::map<RTLIL::Module*, bool> &cache, RTLIL::Module *mod)
 	if (cache.count(mod) == 0)
 		for (auto c : mod->cells()) {
 			RTLIL::Module *m = mod->design->module(c->type);
-			if ((m != nullptr && set_keep_assert(cache, m)) || c->type == "$assert")
+			if ((m != nullptr && set_keep_assert(cache, m)) || c->type.in("$assert", "$assume"))
 				return cache[mod] = true;
 		}
 	return cache[mod];
-- 
2.30.2