mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 13:18:56 +00:00
Code Activity

Support filename rewrite in backends

Browse source 
Signed-off-by: Ben Widawsky <ben@bwidawsk.net>
This commit is contained in:
Ben Widawsky 2019-06-17 14:45:48 -07:00
parent 468c41d997
commit 4a18e19fb8
4 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
backends/aiger/aiger.cc
View file

@ -776,6 +776,7 @@ struct AigerBackend : public Backend {
writer.write_aiger(*f, ascii_mode, miter_mode, symbols_mode);
if (!map_filename.empty()) {
rewrite_filename(filename);
std::ofstream mapf;
mapf.open(map_filename.c_str(), std::ofstream::trunc);
if (mapf.fail())