From 590464be578c42d9bd97d2391612b8145ae4ef8b Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 5 Dec 2017 16:41:28 +0100 Subject: [PATCH] Update doc. --- doc/doxygen/community.doc | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) 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 -- 2.20.1