Add "verific -import -k"
authorClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 14:16:44 +0000 (16:16 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 22 Jul 2017 14:16:44 +0000 (16:16 +0200)
commit5be535517cfe9ce4c664e95eb02684305fc268e3
treecdaec97b47525d5de3e60fd51602daf06347cb9d
parentb6bd12fade053b5f9d00ce4c710d29ae6fb3d3b5
Add "verific -import -k"
frontends/verific/verific.cc