Mentions légales du service

Skip to content

Fix/mpi redux edge case

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