Improve handling of Verific errors
authorClifford Wolf <clifford@clifford.at>
Thu, 5 Oct 2017 12:38:32 +0000 (14:38 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 5 Oct 2017 12:38:32 +0000 (14:38 +0200)
commitfc3378916dbaf46018a99571ef190189088c225c
treedfc1a3ce67c3af2defbea9e6db380272877c47f4
parentee56a887b65e74e44aa6601113f0b477211ccdbc
Improve handling of Verific errors
frontends/verific/verific.cc