Print help message for verific pass
authorEddie Hung <eddie@fpgeh.com>
Tue, 19 Nov 2019 21:24:48 +0000 (13:24 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 19 Nov 2019 21:24:48 +0000 (13:24 -0800)
commit84711f0e8c842b7309c7f1eff375cb757b41755b
tree1e9aedc907599759a2a63742e95b23e0eefe3a2e
parent7ea0a5937ba2572f6d9d62e73e24df480c49561d
Print help message for verific pass
frontends/verific/verific.cc