Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MBI: cosmetics in a diagnostic
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 27 Mar 2022 20:26:17 +0000 (22:26 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 28 Mar 2022 13:37:21 +0000 (15:37 +0200)
teshsuite/smpi/MBI/CollP2PMatchingGenerator.py

index 09e5ff2..2d08b62 100755 (executable)
@@ -113,7 +113,7 @@ for s in send + isend:
             # Generate the incorrect matching because of the conditional
             replace = patterns
             replace['shortdesc'] = 'Point to point & collective mismatch'
-            replace['longdesc'] = 'Point to point @{r}@ is matched with @{c}@ which causes a deadlock.'
+            replace['longdesc'] = 'The @{s}@ corresponding to the @{r}@ is after @{c}@, while @{r}@ is before @{c}@. This is a deadlock.'
             replace['outcome'] = 'ERROR: CallMatching'
             replace['errormsg'] = 'P2P & Collective mistmatch. @{r}@ at @{filename}@:@{line:MBIERROR2}@ is matched with @{c}@ at @{filename}@:@{line:MBIERROR1}@ wich causes a deadlock.'
             make_file(template, f'CallOrdering_{r}_{s}_{c}_nok.c', replace)