Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
use assignment to non-trivial class rather than artificial trivialization and memset
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 17 Aug 2019 14:57:04 +0000 (16:57 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 17 Aug 2019 15:28:29 +0000 (17:28 +0200)
commitb41c921fc0a6a13f5db4d6cefb9b6955d5f21e3b
tree9ade1fd7a852fdc9d9dd307cc8a32f00a74401e0
parent0546bca18b0a87c91e5132340a0b1359ba0b5130
use assignment to non-trivial class rather than artificial trivialization and memset

plus some other small cleanups
src/mc/mc_config.cpp
src/mc/mc_record.cpp
src/mc/mc_state.cpp
src/simix/popping_private.hpp
teshsuite/mc/random-bug/random-bug.cpp