Difference between revisions of "How to check for errors in analysis/elaboration"
(Created page with "'''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" ap...") |
(No difference)
|
Revision as of 15:37, 24 August 2018
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:
Message::GlobalErrorCount() Message::ClearGlobalErrorCount()
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().