Added argument casting when type is same.#137

adpaco merged 2 commits into

model-checking:main-152-2021-05-26model-checking/kani:main-152-2021-05-26from

vecchiot-aws:call_argument_castingvecchiot-aws/rmc:call_argument_castingCopy head branch name to clipboard