voteagora / agora-governor

MIT License
4 stars 1 forks source link

Fuzz testing on ProposeWithOptimisticModule fails locally #5

Open corydickson opened 1 month ago

corydickson commented 1 month ago
 λ forge test --match-test testFuzz_ProposalSucceedsWithSomeRelativeVotes                                                                                              proposal-scopes 
[⠊] Compiling...
No files changed, compilation skipped

Ran 1 test for test/AgoraGovernor.t.sol:ProposeWithOptimisticModule
[FAIL. Reason: assertion failed: 3 != 4; counterexample: calldata=0xa7ba67470000000000000000000000000000000000000000000000000000000000003c1700000000000000000000000000000000000000000000000000000000000026320000000000000000000000000000000000000000000000000000000000003c1700000000000000000000000000000000000000000000000000000000000015f6ccb45da8d5717e6c4544694297c4ba5cf151d455c9bb0ed4fc7a38411bc0546100000000000000000000000000000000000000000000000000000000000012ef0000000000000000000000000000000000000000000000000000000000003a980000000000000000000000000000000000000000000000000000000000003723 args=[0x0000000000000000000000000000000000003C17, 0x0000000000000000000000000000000000002632, 0x0000000000000000000000000000000000003C17, 5622, 92590499996805950794188835622823472476357350858106280682454311809731610563681 [9.259e76], 4847, 15000 [1.5e4], 14115 [1.411e4]]] testFuzz_ProposalSucceedsWithSomeRelativeVotes(address,address,address,uint256,uint256,uint256,uint256,uint256) (runs: 4, μ: 733080, ~: 733223)
Suite result: FAILED. 0 passed; 1 failed; 0 skipped; finished in 14.83ms (7.02ms CPU time)

At random the build or will fail given the range of inputs the vote will is in a cancelled state