Use 2's complement when computing the relative discriminant to avoid signed to unsigned overflow failures#995

zhassan-aws merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:iss356zhassan-aws/kani:iss356Copy head branch name to clipboard