Add support for modifying examples in the Rust books.#447

adpaco merged 2 commits into

model-checking:main-154-2021-08-24model-checking/kani:main-154-2021-08-24from

bdalrhm:diffbdalrhm/rmc:diffCopy head branch name to clipboard