Add simplified "read" command, enable extnets in implicit Verific import
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Jun 2018 14:56:55 +0000 (16:56 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 21 Jun 2018 14:56:55 +0000 (16:56 +0200)
commitd412b17259ad7c2003dc14ec452a2a0a6fc3ba91
treee39c217af339e7986d3aff40898787446b6bad33
parent9e096b151215e7b99236050bc668d01b2699dea7
Add simplified "read" command, enable extnets in implicit Verific import

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