Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.

Skip to content
  • Matthias Braun's avatar
    debugger: add randnode debug command · 92b1c269
    Matthias Braun authored
    This call initializes the node_nr with a random value on startup. This
    lets you test wether the compile behaves deterministically regardless of
    node numbers (which isn't always the case right now).
    92b1c269