Add "verific -import -V"
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Mar 2018 18:40:34 +0000 (19:40 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 7 Mar 2018 18:40:34 +0000 (19:40 +0100)
commit92d5f4db6f1718ad13c45c5efb7f2a617bd10a47
treef76838fe67ceb33302ca66e42dc61ea4390b90ab
parent252627fc548526d1d65c1909f31cd5e3fcf9898b
Add "verific -import -V"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc
frontends/verific/verific.h