Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix two sonar bugs
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 21:35:16 +0000 (22:35 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 21:41:22 +0000 (22:41 +0100)
commitc36714de466414e9e0ca8d78863efc0a43632a82
tree25bc1be6970eef621e9158c599ea420639c659dc
parentba13d6b347400d01094cd5987065bb2b3f721400
Fix two sonar bugs

- don't throw from the destructor
- don't slice objects (downcast objects instead of downcasting
  references). I suspect that this one is a false positive but the
  tests still pass this way so let's go.
src/mc/remote/CheckerSide.cpp
src/mc/sosp/Snapshot.cpp