multiversx-property-testing

SKILL.md

Use property-based testing (fuzzing) to automatically discover edge cases and invariant violations in MultiversX smart contract logic. This approach generates random inputs to find bugs that manual testing misses.

Invariants are properties that must ALWAYS hold, regardless of inputs or state.

| Conservation | Sum of parts equals total | Total supply == sum of all balances | | Monotonicity | Value only moves one direction | Stake amount never decreases without explicit unstake | | Bounds | Values stay within limits | User balance <= total supply | | Consistency | Related values stay in sync | Whitelist count == whitelist set length |

使用基於屬性的測試和模糊測試來查找智能合約邏輯中的邊緣情況。在編寫綜合測試、驗證不變量或使用隨機輸入搜索意外行為時使用。 來源：multiversx/mx-ai-skills。

查看原文