Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[sonar] Rename method (don't use "main").
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Jan 2019 08:59:12 +0000 (09:59 +0100)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 10 Jan 2019 11:14:43 +0000 (12:14 +0100)
commit31ab190e8fd70254fe4fc021e2626c8629e477a1
treefb7a1b7633623f09357bf7b438751a380ffd993f
parent43cd7caf1b55127976ff2615651f7d6c28ffff33
[sonar] Rename method (don't use "main").
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp