Improve handling of Verific warnings and error messages
authorClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:39:50 +0000 (11:39 +0100)
committerClifford Wolf <clifford@clifford.at>
Sat, 11 Feb 2017 10:39:50 +0000 (11:39 +0100)
commit0b7aac645c482e9f8e80fb74b61b5c9c6c378857
tree53eeaf55ae87944de449b2ad23e5977e40abdf0d
parenteb7b18e897ac908e960bee6c976f744043590881
Improve handling of Verific warnings and error messages
frontends/verific/verific.cc