diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-08 16:13:33 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-08-08 16:13:33 +0200 |
| commit | 6c65ca4e50cc6712d9293b9630afdf67af89ef61 (patch) | |
| tree | 972797adf263e9ecf3dc4e6b10310c629df30274 /frontends/verific/verific.cc | |
| parent | 2b1aeb44d98f4aafc73a66cdd02092571d725ee4 (diff) | |
| download | yosys-6c65ca4e50cc6712d9293b9630afdf67af89ef61.tar.gz yosys-6c65ca4e50cc6712d9293b9630afdf67af89ef61.tar.bz2 yosys-6c65ca4e50cc6712d9293b9630afdf67af89ef61.zip | |
Encode filename unprintable chars
Diffstat (limited to 'frontends/verific/verific.cc')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e516a5ec7..e0dbe1b32 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -183,7 +183,7 @@ RTLIL::IdString VerificImporter::new_verific_id(Verific::DesignObj *obj) { std::string s = stringf("$verific$%s", obj->Name()); if (obj->Linefile()) - s += stringf("$%s:%d", Verific::LineFile::GetFileName(obj->Linefile()), Verific::LineFile::GetLineNo(obj->Linefile())); + s += stringf("$%s:%d", RTLIL::encode_filename(Verific::LineFile::GetFileName(obj->Linefile())).c_str(), Verific::LineFile::GetLineNo(obj->Linefile())); s += stringf("$%d", autoidx++); return s; } |