Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Typo found by lintian
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 28 Jun 2023 11:26:54 +0000 (13:26 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 28 Jun 2023 11:26:54 +0000 (13:26 +0200)
src/mc/mc_config.cpp

index bde1a6b..8460a91 100644 (file)
@@ -66,7 +66,7 @@ simgrid::config::Flag<std::string> _sg_mc_strategy{
     "model-check/strategy",
     "Specify the the kind of heuristic to use for guided model-checking",
     "none",
-    {{"none", "No specific strategy: simply pick the first available transistion and act as a DFS."},
+    {{"none", "No specific strategy: simply pick the first available transition and act as a DFS."},
      {"max_match_comm", "Try to minimize the number of in-fly communication by appairing matching send and receive."},
      {"min_match_comm", "Try to maximize the number of in-fly communication by not appairing matching send and receive."},
      {"uniform", "No specific strategy: choices are made randomly based on a uniform sampling."}