Repository navigation
Read old(this) in a precondition as the state before the call - #422
Open
CatarinaGamboa wants to merge 1 commit into
Open
CatarinaGamboa wants to merge 1 commit into
CatarinaGamboa wants to merge 1 commit into
Commits
Commits on Oct 24, 2026