From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 6 Feb 2019 15:35:59 +0000 (+0100)
Subject: Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::get_id... 
X-Git-Tag: yosys-0.9~318
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e112d2fbf5a31f00ef19e6d05f28fecc1e9c56b9;p=yosys.git

Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::get_id() behavior)

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/backends/smt2/smtio.py b/backends/smt2/smtio.py
index 68783e744..ab20a4af2 100644
--- a/backends/smt2/smtio.py
+++ b/backends/smt2/smtio.py
@@ -784,7 +784,7 @@ class SmtIo:
 
     def get_path(self, mod, path):
         assert mod in self.modinfo
-        path = path.split(".")
+        path = path.replace("\\", "/").split(".")
 
         for i in range(len(path)-1):
             first = ".".join(path[0:i+1])