enable_model-checking (on/OFF)
Activates the formal verification mode. This will **hinder
- simulation speed** even when the model-checker is not activated at
+ simulation speed** even when the model checker is not activated at
run time.
enable_ns3 (on/OFF)
Allows one to run MPI code on top of SimGrid.
enable_smpi_ISP_testsuite (on/OFF)
- Adds many extra tests for the model-checker module.
+ Adds many extra tests for the model checker module.
enable_smpi_MPICH3_testsuite (on/OFF)
Adds many extra tests for the MPI module.
Once everything is built, you may want to test the result. SimGrid
comes with an extensive set of regression tests (as described in the
-@ref inside_tests "insider manual"). The tests are run with ``ctest``,
-that comes with CMake. We run them every commit and the results are
-on `our Jenkins <https://ci.inria.fr/simgrid/>`_.
+@ref inside_tests "insider manual"). The tests are not built by
+default, so you first have to build them with ``make tests``. You can
+then run them with ``ctest``, that comes with CMake. We run them
+every commit and the results are on `our Jenkins <https://ci.inria.fr/simgrid/>`_.
.. code-block:: shell
+ make tests # Build the tests
ctest # Launch all tests
ctest -R s4u # Launch only the tests whose names match the string "s4u"
ctest -j4 # Launch all tests in parallel, at most 4 concurrent jobs
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
The best solution to get SimGrid working on windows is to install the
-Ubuntu subsystem of Windows 10. All of SimGrid (but the model-checker)
+Ubuntu subsystem of Windows 10. All of SimGrid (but the model checker)
works in this setting.
Native builds not very well supported. Have a look to our `appveypor
