Improve Verific importer blackbox handling
authorClifford Wolf <clifford@clifford.at>
Sun, 7 Oct 2018 17:48:42 +0000 (19:48 +0200)
committerJim Lawson <ucbjrl@berkeley.edu>
Mon, 8 Oct 2018 18:38:10 +0000 (11:38 -0700)
commit3bb9288d65f547085b79fbaffb7046f336ff7f59
treebc60a2625efccaaab3fd5e548e0701179be84fd9
parent8e13f2913d3f493727d4e8774168aea2ac313f37
Improve Verific importer blackbox handling

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