Improve Verific importer blackbox handling
authorClifford Wolf <clifford@clifford.at>
Sun, 7 Oct 2018 17:48:42 +0000 (19:48 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 7 Oct 2018 17:48:55 +0000 (19:48 +0200)
commit9850de405a11fe93e4562c86be0a0830b83c2785
treebc60a2625efccaaab3fd5e548e0701179be84fd9
parented1f0b25770ee7a1f475f9aa261145c984af29fb
Improve Verific importer blackbox handling

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