diff options
Diffstat (limited to 'backends/btor')
| -rw-r--r-- | backends/btor/btor.cc | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 4315f6f67..4eb675c3c 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -29,6 +29,7 @@ #include "kernel/log.h" #include "kernel/mem.h" #include "kernel/json.h" +#include "kernel/yw.h" #include <string> USING_YOSYS_NAMESPACE @@ -141,18 +142,6 @@ struct BtorWorker return " " + infostr; } - template<class T> static std::vector<std::string> witness_path(T *obj) { - std::vector<std::string> path; - if (obj->name.isPublic()) { - auto hdlname = obj->get_string_attribute(ID::hdlname); - for (auto token : split_tokens(hdlname)) - path.push_back("\\" + token); - } - if (path.empty()) - path.push_back(obj->name.str()); - return path; - } - void ywmap_state(const SigSpec &sig) { if (ywmap_json.active()) ywmap_states.emplace_back(sig); |