- * This file contains the MC replay/record functionnality.
- * A MC path may be recorded by using ``-cfg=model-check/record:1`'`.
- * The path is written in the log output and an be replayed with MC disabled
- * (even with an non-MC build) with `--cfg=model-check/replay:$replayPath`.
+ * This file contains the MC replay/record functionality.
+ * The recorded path is written in the log output and can be replayed with MC disabled
+ * (even with a non-MC build) using `--cfg=model-check/replay:$replayPath`.