mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-20 10:10:23 +00:00
Code Activity

driver: allow --no-version still write things like Generated by Yosys

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-05-07 11:34:23 +02:00
parent d7affb8821
commit 90a2c92370
21 changed files with 36 additions and 40 deletions
Download patch file Download diff file Expand all files Collapse all files

2
backends/smt2/smt2.cc
View file

@ -1831,7 +1831,7 @@ struct Smt2Backend : public Backend {
}
}
*f << stringf("; SMT-LIBv2 description generated by %s\n", yosys_version_str);
*f << stringf("; SMT-LIBv2 description generated by %s\n", yosys_maybe_version());
if (!bvmode)
*f << stringf("; yosys-smt2-nobv\n");

1
backends/smt2/smtio.py
View file

@ -1289,7 +1289,6 @@ class MkVcd:
assert t >= self.t
if t != self.t:
if self.t == -1:
# TODO if (yosys_write_versions) equivalent?
print("$version Generated by Yosys-SMTBMC $end", file=self.f)
print("$timescale 1ns $end", file=self.f)
print("$var integer 32 t smt_step $end", file=self.f)