From: Arnaud Giersch Date: Tue, 5 Dec 2017 15:41:28 +0000 (+0100) Subject: Update doc. X-Git-Tag: v3.18~136 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/590464be578c42d9bd97d2391612b8145ae4ef8b?hp=44e20f3abe5b7ed8814e0081e1720cb25fdd2f30 Update doc. --- diff --git a/doc/doxygen/community.doc b/doc/doxygen/community.doc index 439d0d3123..f23562b192 100644 --- a/doc/doxygen/community.doc +++ b/doc/doxygen/community.doc @@ -330,12 +330,11 @@ but it is currently disabled. #### Interface with the model-checked processes -The model-checker reads many information about the model-checked process -by `process_vm_readv()`-ing brutally the data structure of the model-checked -process leading to some horrible code such as walking a swag from another -process. It prevents us as well from replacing some XBT data structures with -standard C++ ones. We need a sane way to expose the relevant information to -the model-checker. +The model-checker reads many information about the model-checked process by +`process_vm_readv()`-ing brutally the data structure of the model-checked +process leading to some inefficient code such as maintaining copies of complex +C++ structures in XBT dynars. We need a sane way to expose the relevant +information to the model-checker. #### Generic simcalls