Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
PVS fixes in MBI: initialize buffers before use
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 28 Mar 2022 07:44:54 +0000 (09:44 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 28 Mar 2022 13:37:21 +0000 (15:37 +0200)
commitaf834d1f29620ac0b9e44ef7541817d2253eec43
treeb8040e641057d2e517f620dbeeeacbd4942acfad
parentad8f3a298fe163604d53839017cd3a848db3dee1
PVS fixes in MBI: initialize buffers before use
teshsuite/smpi/MBI/generator_utils.py