Add "verific -set-<severity> <msg_id>.."
authorClifford Wolf <clifford@clifford.at>
Thu, 16 Aug 2018 09:49:17 +0000 (11:49 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 16 Aug 2018 09:49:17 +0000 (11:49 +0200)
commite343f3e6d475984c21611474bffe7dcd8f599497
tree25ddfd2c584e327d2efb4f9aa2084433e6d72a30
parent0899a53bee39e209551a3122c7c820b7ed2b48c3
Add "verific -set-<severity> <msg_id>.."

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