From 6993fc254000b13f56d75212b74f1c0c9b9ba998 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sun, 12 Oct 2025 07:52:12 -0700
Subject: [PATCH] Flush during import

---
 frontends/verific/verific.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 17b3548ed..cb3389451 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -1538,9 +1538,11 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::ma
 
 	if (is_blackbox(nl)) {
 		log("Importing blackbox module %s.\n", RTLIL::id2cstr(module->name));
+		log_flush();
 		module->set_bool_attribute(ID::blackbox);
 	} else {
 		log("Importing module %s.\n", RTLIL::id2cstr(module->name));
+		log_flush();
 	}
 	import_attributes(module->attributes, nl, nl);
 	if (module->name.isPublic())