Add "verific -import -n" and "verific -import -nosva"
authorClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:54:45 +0000 (11:54 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 27 Jul 2017 09:54:45 +0000 (11:54 +0200)
commitd9641621d95078fe9f6534154f21f50827de60a6
tree5ae0cbd20117f125d8fb0e1dc45037e23b424309
parentb24f73775983eb7a30d50f608ccc8702e54c57c3
Add "verific -import -n" and "verific -import -nosva"
frontends/verific/verific.cc