Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix a dead store reported by infer
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 Nov 2023 07:49:27 +0000 (08:49 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 20 Nov 2023 07:49:27 +0000 (08:49 +0100)
commit244ffce80a9e2390e24b9788114de037e4ccc0ae
treed2c909a9d82a275d1f6c3431cc4145223a8ff299
parentde054f9c7a56304ef1227a0664eba51161e9a8a4
Fix a dead store reported by infer
examples/sthread/pthread-producer-consumer.c