Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Sonar fixes
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Feb 2022 11:15:01 +0000 (12:15 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 13 Feb 2022 11:26:28 +0000 (12:26 +0100)
commitd76599052f7eb659641d0b981c04f99d5f735a14
tree1e1a51421f62fe65fb74286ad2b5fce0eeba9fa9
parent97f51fd3a70cb733f28f2596093390942e467c43
Sonar fixes

- Pass the constructor parameters to the ancestor (!)
- Make some stuff const
- don't overuse initializer list of constructors for stuff that can be
  initialized in the class
- Kill dead code
- 'auto' instead of redundent type
- true/false instead of 1/0
- Also inline a useless function
src/kernel/activity/MailboxImpl.hpp
src/mc/api.cpp
src/mc/api/TransitionComm.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/mc_base.cpp