X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1a3e24862f3cbccfe7604af2e812b0d94af72e3b..d07b69d21eb5beec1c83d48437a43a0521d5c283:/examples/msg/mc/electric_fence.c diff --git a/examples/msg/mc/electric_fence.c b/examples/msg/mc/electric_fence.c index b8b2c5313c..d8f74df694 100644 --- a/examples/msg/mc/electric_fence.c +++ b/examples/msg/mc/electric_fence.c @@ -5,9 +5,9 @@ /******************** Non-deterministic message ordering *********************/ /* This example implements one process which receives messages from two other */ -/* processes. There is no bug on it, it is just provided to test the soundness*/ +/* processes. There is no bug on it, it is just provided to test the soundness*/ /* of the state space reduction with DPOR, if the maximum depth (defined with */ -/* --cfg=model-check/max_depth:) is reached. */ +/* --cfg=model-check/max-depth:) is reached. */ /******************************************************************************/ #include