Remove all instances of the black box modules

YosysHQ · Aug 27, 2024 · 57d2170 · 57d2170
1 parent 734ea52
commit 57d2170
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc
@@ -72,7 +72,6 @@ struct CutpointPass : public Pass {
 				}
 			}
 			std::ostringstream pattern;
-
 			for (size_t i = 0; i < blackbox_module_names.size(); ++i) {
 				pattern << blackbox_module_names[i].str();
 				if (i != blackbox_module_names.size() - 1) {
@@ -81,6 +80,7 @@ struct CutpointPass : public Pass {
 			}
 			if (!pattern.str().empty()) {
 				args.push_back(pattern.str());
+				args.push_back("t:" + pattern.str());
 			}
 		}