X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/eb8ccfc173fea34bbb00377623da7fdfb4411df7..a3ff2d592d10a66e48ab08baad136bd993241f11:/docs/source/Tutorial_Model-checking.rst

diff --git a/docs/source/Tutorial_Model-checking.rst b/docs/source/Tutorial_Model-checking.rst
index 8bfbb3e525..9bf4535c63 100644
--- a/docs/source/Tutorial_Model-checking.rst
+++ b/docs/source/Tutorial_Model-checking.rst
@@ -51,8 +51,8 @@ on Mac OS X yet, so mac users should stick to the docker method for now.
 .. code-block:: console
 
    $ docker image pull simgrid/tuto-mc
-   $ mkdir ~/tuto-mcsimgrid # or chose another directory to share between your computer and the docker container 
-   $ docker run -it --rm --name mcsimgrid --volume ~/tuto-mcsimgrid:/source/tutorial simgrid/tuto-mc bash
+   $ mkdir ~/tuto-mcsimgrid # or chose another directory to share between your computer and the docker container
+   $ docker run --user $UID:$GID -it --rm --name mcsimgrid --volume ~/tuto-mcsimgrid:/source/tutorial simgrid/tuto-mc bash
 
 In the container, you have access to the following directories of interest:
 
@@ -85,7 +85,9 @@ that uses the :ref:`S4U interface <S4U_doc>` of SimGrid, but we provide a
 if you prefer (see below for details on using the MPI version).
 
 .. toggle-header::
-   :header: Code of ``ndet-receive-s4u.cpp``: click here to open it, or `view it online <https://framagit.org/simgrid/tutorial-model-checking/-/blob/main/ndet-receive-s4u.cpp>`_
+   :header: Code of ``ndet-receive-s4u.cpp``: click here to open
+   
+   You can also `view it online <https://framagit.org/simgrid/tutorial-model-checking/-/blob/main/ndet-receive-s4u.cpp>`_
 
    .. literalinclude:: tuto_mc/ndet-receive-s4u.cpp
       :language: cpp
@@ -183,7 +185,7 @@ now read it together. It can be split in several parts:
     reports the first faulty execution it finds: it may not be the shorter possible one.
 
     .. code-block:: console
-  
+
        [0.000000] [mc_ModelChecker/INFO] Counter-example execution trace:
        [0.000000] [mc_ModelChecker/INFO]   [(1)Tremblay (server)] iRecv(dst=(1)Tremblay (server), buff=(verbose only), size=(verbose only))
        [0.000000] [mc_ModelChecker/INFO]   [(2)Jupiter (client)] iSend(src=(2)Jupiter (client), buff=(verbose only), size=(verbose only))
@@ -213,7 +215,7 @@ now read it together. It can be split in several parts:
        ==402== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
        ==402== Using Valgrind-3.16.1 and LibVEX; rerun with -h for copyright info
        ==402== Command: ./ndet-receive-s4u small_platform.xml --cfg=model-check/replay:1;2;1;1;2;4;1;1;3;1
-       ==402== 
+       ==402==
        [0.000000] [xbt_cfg/INFO] Configuration change: Set 'model-check/replay' to '1;2;1;1;2;4;1;1;3;1'
        [0.000000] [mc_record/INFO] path=1;2;1;1;2;4;1;1;3;1
        [Jupiter:client:(2) 0.000000] [example/INFO] Sending 1
@@ -222,7 +224,7 @@ now read it together. It can be split in several parts:
        [Jupiter:client:(2) 0.000000] [example/INFO] Sent!
        [Tremblay:server:(1) 0.000000] /source/tutorial/ndet-receive-s4u.cpp:27: [root/CRITICAL] Assertion value_got == 3 failed
        (some output ignored)
-       ==402== 
+       ==402==
        ==402== Process terminating with default action of signal 6 (SIGABRT): dumping core
        ==402==    at 0x550FCE1: raise (raise.c:51)
        ==402==    by 0x54F9536: abort (abort.c:79)
@@ -249,7 +251,9 @@ If you prefer, you can use MPI instead of the SimGrid-specific interface. Inspec
 translation of ``ndet-receive-s4u.cpp`` to MPI.
 
 .. toggle-header::
-   :header: Code of ``ndet-receive-mpi.c``: click here to open it, or `view it online <https://framagit.org/simgrid/tutorial-model-checking/-/blob/main/ndet-receive-mpi.cpp>`_
+   :header: Code of ``ndet-receive-mpi.c``: click here to open
+
+   You can also `view it online <https://framagit.org/simgrid/tutorial-model-checking/-/blob/main/ndet-receive-mpi.c>`_.
 
    .. literalinclude:: tuto_mc/ndet-receive-mpi.c
       :language: cpp