Tracks the thread and memref count for reporting with each error found, for use with the view tool to see the context around the error.
Adds location checking to the invariant test.
Issue: #5076 (closed)
Tracks the thread and memref count for reporting with each error found, for use with the view tool to see the context around the error.
Adds location checking to the invariant test.
Issue: #5076 (closed)