What: Add security tests that verify overflow and underflow are prevented in all arithmetic operations.
Why: Overflow/underflow can cause critical vulnerabilities. Tests must verify protection.
Scope: Create test that: attempts overflow in balance addition, attempts underflow in balance subtraction, attempts overflow in supply tracking, verifies all revert.
Acceptance criteria:
- Overflow is prevented
- Underflow is prevented
- Error messages are clear
- No state corruption
Technical context: tests/unit/ — existing unit tests.
What: Add security tests that verify overflow and underflow are prevented in all arithmetic operations.
Why: Overflow/underflow can cause critical vulnerabilities. Tests must verify protection.
Scope: Create test that: attempts overflow in balance addition, attempts underflow in balance subtraction, attempts overflow in supply tracking, verifies all revert.
Acceptance criteria:
Technical context:
tests/unit/— existing unit tests.