Add hack for handling SVA labels via Verific
authorClifford Wolf <clifford@clifford.at>
Thu, 7 Mar 2019 18:52:44 +0000 (10:52 -0800)
committerClifford Wolf <clifford@clifford.at>
Thu, 7 Mar 2019 18:52:44 +0000 (10:52 -0800)
commitcda37830b060fd46834d8eb7af1171a1ffaee8ca
treebb4f0790fef0a09ca72d335a607e865a204776af
parent350dfd3745ec2efa92a601d3bab7712fd9bec07c
Add hack for handling SVA labels via Verific

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