diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-11 11:49:05 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-11 11:49:05 +0200 |
| commit | 0153ad85d906105f5b4b520f6d62dbf646b2c285 (patch) | |
| tree | c9318dc3328ae360a97e69f923863479cecd4265 /backends/smt2/smt2.cc | |
| parent | cdb58f68ab180deea6d13caa131aa0ea62cb2a8a (diff) | |
| download | yosys-0153ad85d906105f5b4b520f6d62dbf646b2c285.tar.gz yosys-0153ad85d906105f5b4b520f6d62dbf646b2c285.tar.bz2 yosys-0153ad85d906105f5b4b520f6d62dbf646b2c285.zip | |
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
Diffstat (limited to 'backends/smt2/smt2.cc')
| -rw-r--r-- | backends/smt2/smt2.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc index 1ff1cdbf5..02d6f3fb6 100644 --- a/backends/smt2/smt2.cc +++ b/backends/smt2/smt2.cc @@ -932,6 +932,10 @@ struct Smt2Backend : public Backend { worker.write(*f); } + Module *topmod = design->top_module(); + if (topmod) + *f << stringf("; yosys-smt2-topmod %s\n", log_id(topmod)); + *f << stringf("; end of yosys output\n"); if (template_f.is_open()) { |