tree 92b3e480508add4556ca59ac331cac5865169e11
parent f6ff311a1dc9876911594328350e2d3fc62a5535
author Clifford Wolf <clifford@clifford.at> 1574250991 +0100
committer Clifford Wolf <clifford@clifford.at> 1574250991 +0100

Correctly treat empty modules as blackboxes in Verific

Signed-off-by: Clifford Wolf <clifford@clifford.at>