#25 Issue 25: [Testing] Fuzz Testing for Step-Based Vesting Math #46
Description
Description:
The math for step_duration (e.g., unlocking monthly instead of linearly per second) is prone to integer division truncation errors. We need robust fuzzing.
Acceptance Criteria:
[ ] Write a proptest that inputs random prime numbers for step_duration and total_amount.
[ ] Assert that the final claimed amount at the end of the duration exactly matches total_amount, with no tokens trapped in the contract.
Labels: testing, math