Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49e9f44) | patch
One usage of mc_model_checker less
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 10:25:53 +0000 (11:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 10:25:56 +0000 (11:25 +0100)
commitef93ada6480099151585ece90d8f4aaf0be41cd5
tree073838222d4671356e84502b4f3c39e080a55d59tree | snapshot
parent49e9f443f655fd07cc8ed1e4ad6ce329ded0fdc3commit | diff
One usage of mc_model_checker less

I had to reduce the const-ness of the RemoteProcessMemory variable in
Snapshot::operator==() because getting the heap modifies the
RemoteMemory object. Sorry sonar.
src/mc/compare.cpp diff | blob | history
src/mc/sosp/RemoteProcessMemory.hpp diff | blob | history
Clone of SimGrid repository with local patches