Skip to content
GitLab

i#5076 trace invariants, part 4: Add unit tests

Merged Derek Bruening requested to merge i5076-invar-test into master

Adds targeted testing for the trace invariants checker tool for checks that are not tested by the signal_invariants app's prefetch and handler markers.

Issue: #5076 (closed)