From: Martin Quinson Date: Tue, 18 Jul 2017 00:31:09 +0000 (+0200) Subject: MC: checker kindly ask the app whether an actor is enabled instead of reading tons... X-Git-Tag: v3_17~369 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/831d719023e7a0af690f54db87a5e6ba4802ede3?hp=831d719023e7a0af690f54db87a5e6ba4802ede3 MC: checker kindly ask the app whether an actor is enabled instead of reading tons of remote memory ---