Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix various build errors
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 09:39:46 +0000 (10:39 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 09:41:56 +0000 (10:41 +0100)
commit27a0221ef9fdde160940eddbb605ef34754ffe2e
treee9baaa8c4bd5061d971d5d40b7545314035ce2e1
parent638b73de32acaf7bef819d565721fe416c61c447
Fix various build errors

- clang complains about unused private fields
- stateful MC declares link option to the wrong binary name
- sthread displays a full path that needs to be hidden in tesh
src/mc/transition/TransitionActor.hpp
teshsuite/mc/CMakeLists.txt
teshsuite/mc/mcmini/barber_shop_ok.tesh
tools/tesh/tesh.py