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 |

Utilice pruebas basadas en propiedades y fuzzing para encontrar casos extremos en la lógica de contratos inteligentes. Úselo al escribir pruebas integrales, verificar invariantes o buscar comportamientos inesperados con entradas aleatorias. Fuente: multiversx/mx-ai-skills.

Ver original