Improve "verific -all" handling
authorClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 11:33:25 +0000 (13:33 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 11:33:25 +0000 (13:33 +0200)
commitc97c92e4eca6c78124a95c9ecc37316e7a217764
tree4d60082840738049205d910486b7d419a8382d55
parent41be530c4e0388c36b012c38b407ec5731e137c1
Improve "verific -all" handling
frontends/verific/verific.cc