Add "verific -autocover"
authorClifford Wolf <clifford@clifford.at>
Fri, 6 Apr 2018 12:10:57 +0000 (14:10 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 6 Apr 2018 12:10:57 +0000 (14:10 +0200)
commitab8db2c168ed2177146ec744f6397a3a9951d7cc
tree62d33c6be6e803e217baf5e88b8b3cdab0d90191
parentf10e0e15c5c2c01c1b5ff3c244679e4842415b79
Add "verific -autocover"

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