Support command files in Verific
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Jun 2021 09:21:44 +0000 (11:21 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 16 Jun 2021 09:21:44 +0000 (11:21 +0200)
commitc0d8da20d58d13ae5bb169ce587f05fbb851a8d0
tree5f50e9bc45cfe526cec20f26bf6b47175ea6b410
parentc6681508f1a2e35d41e8fc6f1f5dec41972ef6fd
Support command files in Verific
frontends/verific/verific.cc