Improve handling of verific primitives in "verific -import -V" mode
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Nov 2019 15:00:07 +0000 (16:00 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 22 Nov 2019 15:00:07 +0000 (16:00 +0100)
commite93e4a7a2c6875e87b7e2635470cf02aa45af23a
tree5d7a941c8dd12e651325c05986bad59467a4a1a4
parent6af0d03faede4a8d87292a76ae70dd1362dfcbb3
Improve handling of verific primitives in "verific -import -V" mode

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