From: degomme <adegomme@users.noreply.github.com>
Date: Thu, 4 Apr 2019 13:29:05 +0000 (+0200)
Subject: Add plenty more checks to MPI collectives, to comply with the standard.
X-Git-Tag: v3.22.2~176
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/ac307dad2932084d3b5b5af7bcd298d057649c1a?hp=ac307dad2932084d3b5b5af7bcd298d057649c1a

Add plenty more checks to MPI collectives, to comply with the standard.
Coverage was a bit too high, this should help reducing it.
---