Add "verific -L"
authorClifford Wolf <clifford@clifford.at>
Thu, 24 Oct 2019 07:14:03 +0000 (09:14 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 24 Oct 2019 07:14:03 +0000 (09:14 +0200)
commitd49c6b2cba0256573352ae4dd5669e94ef75b60e
tree6ebe15eb7b1ae31dd0e03d548f426ced76ec2ca7
parentf02623abb5d8338f034d7069844418af8912ab0f
Add "verific -L"

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