Added v0 mangler as default for rmc, and added --mangler rmc option.#170

danielsn merged 2 commits intomodel-checking:main-152-2021-06-01model-checking/kani:main-152-2021-06-01from

vecchiot-aws:name_manglingvecchiot-aws/rmc:name_manglingCopy head branch name to clipboard