Bump Kani version to 0.44.0#2970

zhassan-aws merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:kani-0.44.0zhassan-aws/kani:kani-0.44.0Copy head branch name to clipboard