-Debugging the problems reported by the model-checker is challenging: First, the
-application under verification cannot be debugged with gdb because the
-model-checker already traces it. Then, the model-checker may explore several
-execution paths before encountering the issue, making it very difficult to
-understand the outputs. Fortunately, SimGrid provides the execution path leading
-to any reported issue so that you can replay this path out of the model checker,
-enabling the usage of classical debugging tools.
+Debugging the problems reported by the model checker is challenging:
+First, the application under verification cannot be debugged with gdb
+because the model checker already traces it. Then, the model checker may
+explore several execution paths before encountering the issue, making it
+very difficult to understand the output. Fortunately, SimGrid provides
+the execution path leading to any reported issue so that you can replay
+this path reported by the model checker, enabling the usage of classical
+debugging tools.