Add "verific -formal" and "read -formal"
authorClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 08:02:27 +0000 (10:02 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 29 Jun 2018 08:02:27 +0000 (10:02 +0200)
commitebf0f003d3e8d219b396d4c6a3943e1ce54d2879
tree24eeb07e97c09921471bed42f79c4edae16e869a
parentafedb2d03ee07738025ae77d73d280044c29ec2f
Add "verific -formal" and "read -formal"

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