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 |

Utilisez les tests basés sur les propriétés et le fuzzing pour trouver des cas extrêmes dans la logique des contrats intelligents. À utiliser lors de l'écriture de tests complets, de la vérification d'invariants ou de la recherche de comportements inattendus avec des entrées aléatoires. Source : multiversx/mx-ai-skills.

Voir l'original