Mentions légales du service

Skip to content
GitLab

Fix/mpi redux edge case

Merged Antoine Jego requested to merge fix/mpi-redux_edge-case into master

Fix edge cases:

  • quick return when 1 contributing node
  • avoid segfault if redux_map is not set
Edited by Antoine Jego

Merge request reports