Code

Fix issue #1505#1511

Code

Merged

fpoli merged 2 commits intomasterviperproject/prusti-dev:masterfrom fix-issue-1505viperproject/prusti-dev:fix-issue-1505Copy head branch name to clipboardMar 26, 2024

+95-5

Commits

Commits on Mar 25, 2024

• Add regression test for issue #1505

  fpoli

  committed
  519ff34

Commits on Mar 26, 2024

• Fix encoding of signed integer divisions

  fpoli

  committed
  e292fc2