"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."}