Improve Verific bindings (mostly related to SVA)
authorClifford Wolf <clifford@clifford.at>
Wed, 26 Jul 2017 16:00:01 +0000 (18:00 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 26 Jul 2017 16:00:01 +0000 (18:00 +0200)
commit530040ba6f0877fe91814b582749fda28d31c928
tree04c5d780018d992631ed63257cb2ae4a25e5f57e
parentabd3b4e8e78ef1b1ac71d47db9f82bc5358a4d62
Improve Verific bindings (mostly related to SVA)
frontends/verific/verific.cc