analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard
verified publisher icon goblint

Add unknown thread ID

Open sim642 opened this issue 4 years ago • 0 comments

As revealed in #388, it would be very good to have an unknown thread ID, just like the unknown address in address sets. This would allow keeping known thread IDs while invalidating/joining with incompatible/etc.

sim642 avatar Oct 13 '21 09:10 sim642