diff options
| author | N. Engelhardt <nak@symbioticeda.com> | 2020-09-21 15:18:06 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-21 15:18:06 +0200 |
| commit | ed5790382ac8427f8681456e00d76b8dce92d87d (patch) | |
| tree | ae8eb8e76197fd4dbe0bda96eb977a380af009b6 /backends/aiger | |
| parent | c6ff947f6bac336ab5a31913c2daf7ad1cb8b91b (diff) | |
| parent | 32381907972e16d5f72705eaf5350b731a9d71c8 (diff) | |
| download | yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.tar.gz yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.tar.bz2 yosys-ed5790382ac8427f8681456e00d76b8dce92d87d.zip | |
Merge pull request #2372 from nakengelhardt/name_is_public
add IdString::isPublic()
Diffstat (limited to 'backends/aiger')
| -rw-r--r-- | backends/aiger/aiger.cc | 2 | ||||
| -rw-r--r-- | backends/aiger/xaiger.cc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 81a3f483b..476b30488 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -111,7 +111,7 @@ struct AigerWriter // promote public wires for (auto wire : module->wires()) - if (wire->name[0] == '\\') + if (wire->name.isPublic()) sigmap.add(wire); // promote input wires diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index ef0103c17..27499b64a 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -146,7 +146,7 @@ struct XAigerWriter // promote public wires for (auto wire : module->wires()) - if (wire->name[0] == '\\') + if (wire->name.isPublic()) sigmap.add(wire); // promote input wires |