diff --git a/README.md b/README.md index 1d8962b..1b042a9 100644 --- a/README.md +++ b/README.md @@ -164,7 +164,8 @@ stronger test suites and specifications should detect more mutants as faulty. You can download prebuilt Gambit binaries for Mac and Linux from our [releases](https://github.com/Certora/gambit/releases) page. -To build Gambit from source, clone [the Gambit repository](https://github.com/Certora/gambit) and run +To build Gambit from source, clone [the Gambit +repository](https://github.com/Certora/gambit) and run ``` cargo build --release @@ -183,9 +184,9 @@ location on your `PATH`. ## Usage Gambit has two main commands: the [`mutate` command](#the-mutate-command), which -is responsible for generating mutants, and the -[`summary` command](#the-summary-command), which allows the user to get a -high-level summary of a `gambit mutate` execution. +is responsible for generating mutants, and the [`summary` +command](#the-summary-command), which allows the user to get a high-level +summary of a `gambit mutate` execution. @@ -514,7 +515,8 @@ Gambit implements the following mutation operators | **unary-operator-replacement** | Replace a unary operator with another | `-b` -> `~b` | | **statement-deletion** | Replace a statement with a no-op (`assert(true)`) | `self.checkInvariants();` -> `assert(true);` | -For more details on each mutation type, refer to the [full documentation](https://docs.certora.com/en/latest/docs/gambit/gambit.html#mutation-types). +For more details on each mutation type, refer to the [full +documentation](https://docs.certora.com/en/latest/docs/gambit/gambit.html#mutation-types). ## Contact diff --git a/scripts/generate_rtd_markdown.py b/scripts/generate_rtd_markdown.py index 4e718ff..a5e218f 100644 --- a/scripts/generate_rtd_markdown.py +++ b/scripts/generate_rtd_markdown.py @@ -175,9 +175,10 @@ def translate_readme_to_rtd(readme_file_path: str) -> str: ) else: # replace internal links - l = replace_internal_references(line) - lines2.append(l.strip("\n")) - return "\n".join(lines2) + "\n" + lines2.append(line.strip("\n")) + combined = "\n".join(lines2) + "\n" + combined = replace_internal_references(combined) + return combined def main():