Skip to content
  • Michael Sammler's avatar
    Parametrize Omega by the thread_id · a1f6b809
    Michael Sammler authored
    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).
    a1f6b809