Skip to content

Specification fix: ensure that the initial thread can be referenced

Michael Tautschnig requested to merge github/fork/tautschnig/threadid-spec into main

With the previous specification, the initially active thread (as created by starting a program) could not be referenced in transitions without violating the specification (only threads specified in createThread could be referenced).

Marked as Draft as #29 should be merged first and we shouldn't change the spec while SV-COMP'21 is about to kick off, so let's not merge until after SV-COMP'21 has been fully executed.

Merge request reports