sv-witnesses icon indicating copy to clipboard operation
sv-witnesses copied to clipboard

Published 20 hours ago • verified publisher icon sosy-lab

WitnessLinter does not consider different paths in a witness when checking thread information

Open kfriedberger opened this issue 3 years ago • 5 comments

This PR is based on #33 and improves the documentation about the usage of thread identifiers. It also disables the current check for thread creation.

kfriedberger avatar Dec 08 '20 12:12 kfriedberger