Skip to content
GitLab

i#5076 trace invariants, part 7: View single threads

Merged Derek Bruening requested to merge i5076-view-thread into master

Augments the view tool to show a single thread when the new option "-only_thread " is passed. This is done in parallel mode for efficiency.

Updates the view test with a simple thread filter test.

Issue: #5076 (closed)