Contract Tests: Migration with stale version is rejected

[wheval]

Contract Tests: Migration with stale version is rejected

Description:
migrate() checks version progression but needs stronger explicit negative tests.

Context:
Version monotonicity is critical for safe upgrades.

Requirements:

• Add test calling migrate() with new_version <= current_version
• Assert InvalidVersion error
• Ensure valid higher version still succeeds

Files to Modify:

• contracts/account/src/lib.rs

Definition of Done:

• Implementation is complete for this single task
• Contract tests updated or added where needed
• Existing contract tests remain green

Labels: security, Stellar Wave
Estimated Effort: 1 day
Priority: Medium

---

Questions or need help?** Join our Telegram community

[Venrable18]

@Venrable18 has applied to work on this issue as part of the Stellar Wave Program's 3rd wave.

Hi maintainer..

Please assign this issue to me!!

ℹ️ Repo Maintainers: To accept this application, review their application or assign @Venrable18 to this issue.