Fix "verific -extnets" for more complex situations
authorClifford Wolf <clifford@clifford.at>
Tue, 26 Mar 2019 13:17:46 +0000 (14:17 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 26 Mar 2019 13:17:46 +0000 (14:17 +0100)
commitc863796e9ff91c76f0f8679b6871b8ffcb75edb6
tree68bcbc803e4161b3e70d1d3a2bb2cd3eb0b260a2
parentddc1a4488e9fc10f557e4260df0becbc1cf43f72
Fix "verific -extnets" for more complex situations

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc
tests/sva/extnets.sv [new file with mode: 0644]