Fix "unused mut" warnings created by generated code.#3247

Merged

jsalzbergedu merged 5 commits intomodel-checking:mainfrom jsalzbergedu:fixUnusedMut

Jun 10, 2024

+9-15

Commits on Jun 10, 2024

Add unused mut to the generated contract fns &recursion wrapper.
Jacob Salzberg
committed
Add deny warnings to gcd.
Jacob Salzberg
committed
Rename variables
Jacob Salzberg
committed
run kani-fmt
Jacob Salzberg
committed
Merge branch 'main' into fixUnusedMut
jsalzbergedu
authored