Add "verific -import -d <dump_file"
authorClifford Wolf <clifford@clifford.at>
Mon, 24 Jul 2017 11:57:16 +0000 (13:57 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 24 Jul 2017 11:57:16 +0000 (13:57 +0200)
commit41be530c4e0388c36b012c38b407ec5731e137c1
tree23002ce328319e41649d31fa1fcbcab36e9adc13
parent92d3aad67059064503b31e47d3686478524fb9bc
Add "verific -import -d <dump_file"
frontends/verific/verific.cc