Add timescale and generated-by header to yosys-smtbmc MkVcd
authorClifford Wolf <clifford@clifford.at>
Sun, 16 Jun 2019 21:12:03 +0000 (23:12 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 16 Jun 2019 21:12:03 +0000 (23:12 +0200)
commitc23bbc429103ca84cb8a9cfb674aacf7d14109c6
tree42eb83fd520b97825851773d5392f101254768aa
parentd4f77d408c754285969969bda3a6985c1fbe9fb6
Add timescale and generated-by header to yosys-smtbmc MkVcd

Signed-off-by: Clifford Wolf <clifford@clifford.at>
backends/smt2/smtio.py