Add automatic verific import in hierarchy command
authorClifford Wolf <clifford@clifford.at>
Wed, 20 Jun 2018 21:45:01 +0000 (23:45 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 20 Jun 2018 21:45:01 +0000 (23:45 +0200)
commit5f2bc1ce7672324370ce5570f41ebd74f670b26e
tree64aaf4f7a9c42da2be1354da2265a25692dc29b0
parent626b555244f2156e5bc277195938ef5e24a525cf
Add automatic verific import in hierarchy command

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