Add "verific -import -flatten" and "verific -import -v"
authorClifford Wolf <clifford@clifford.at>
Mon, 24 Jul 2017 09:29:06 +0000 (11:29 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 24 Jul 2017 09:29:06 +0000 (11:29 +0200)
commit92d3aad67059064503b31e47d3686478524fb9bc
tree67da178ab99bb90561542d59cc915f0d55fa33ba
parent84f15260b5f3d328c75ee385d2fdc2861b4e8f59
Add "verific -import -flatten" and "verific -import -v"
frontends/verific/verific.cc