Skip to content

Commit 0bb139d

Browse files
committed
abc_new: Fix help crash
1 parent 6b343c2 commit 0bb139d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

passes/techmap/abc_new.cc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -161,7 +161,7 @@ struct AbcNewPass : public ScriptPass {
161161
}
162162

163163
std::string script_save;
164-
if (mod->has_attribute(ID(abc9_script))) {
164+
if (!help_mode && mod->has_attribute(ID(abc9_script))) {
165165
script_save = active_design->scratchpad_get_string("abc9.script");
166166
active_design->scratchpad_set_string("abc9.script",
167167
mod->get_string_attribute(ID(abc9_script)));
@@ -173,7 +173,7 @@ struct AbcNewPass : public ScriptPass {
173173
run(stringf(" read_xaiger2 -sc_mapping -module_name %s -map2 %s/input.map2 %s/output.aig",
174174
modname.c_str(), tmpdir.c_str(), tmpdir.c_str()));
175175

176-
if (mod->has_attribute(ID(abc9_script))) {
176+
if (!help_mode && mod->has_attribute(ID(abc9_script))) {
177177
if (script_save.empty())
178178
active_design->scratchpad_unset("abc9.script");
179179
else

0 commit comments

Comments
 (0)