How to check for errors in analysis/elaboration
Q:Verific clears the error count at various steps during analysis/elaboration. Is there a way to tell if these processes have errors?
Verific follows an "optimistic" approach. It clears the error count at various steps during analysis/elaboration so that the flow can continue as far as possible.
It is possible to change to a "pessimistic" approach in which the flow stops at the first error. But it is not what most users want.
For global error count, there are two APIs:
To check for error at any point of time, the user needs to call Message::GlobalErrorCount(), which will return the number of errors.
To clear the global error count, the user needs to call Message::ClearGlobalErrorCount() anywhere. This API also clears the normal error count returned by Message::ErrorCount().