Add "verific -extnets"
authorClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 12:53:11 +0000 (14:53 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 12:53:11 +0000 (14:53 +0200)
commit6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2
treee67fa11bb4f17f1fd5f4c6f65c2f67fac541a703
parent493fedbaf92e04582d09a5eb6bc32d7c36f43a24
Add "verific -extnets"
frontends/verific/verific.cc