Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand const reg"
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Jun 2017 10:30:24 +0000 (12:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 7 Jun 2017 10:30:24 +0000 (12:30 +0200)
commit8f8baccfde62d238025024eb1060ae0aba4c77e3
tree302be16a368f4df3b010f0ad6d2edf4135ad5a1e
parent129984e115d318e00ec065ea76cb8c5926393bc4
Fix generation of vlogtb output in yosys-smtbmc for "rand reg" and "rand const reg"
backends/smt2/smt2.cc
backends/smt2/smtbmc.py
backends/smt2/smtio.py
frontends/ast/genrtlil.cc
frontends/verilog/verilog_parser.y