Skip to content

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

🤖 SoSy-Bot 🤖 requested to merge fix_non_unique_threadid into main

Created by: kfriedberger

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.

Merge request reports