Skip to content

Parametrize Omega by the thread_id

Michael Sammler requested to merge msammler/omega_thread_id into master

This change is required for the dataraces since there Omega needs to refer to the current thread id. In particular, Omega should refer to a different thread_id after forking (which is not possible without this change).

Merge request reports