Use num::BigInt instead of i128 in constants, as constants can be of arbitrary size. - #141

Use num::BigInt instead of i128 in constants, as constants can be of arbitrary size.#141

danielsn merged 2 commits into

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

danielsn:use-bignumdanielsn/kani:use-bignumCopy head branch name to clipboard