Skip to content
GitLab

i#5076 trace invariants, part 8: Report error location

Merged Derek Bruening requested to merge i5076-report-loc into master

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)