We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 2b01eac commit 49205dfCopy full SHA for 49205df
tests/fuzz_tests.rs
@@ -919,8 +919,8 @@ proptest! {
919
// Invariant: total supply >= 0
920
assert!(total_supply >= 0, "Total supply should never be negative");
921
922
- // Invariant: total supply should be non-negative
923
+ let expected_min_from_fees = markets_created * 100; // Each market creation adds 100 points
924
925
assert!(
926
total_supply >= expected_min_from_fees.saturating_sub(1000), // Allow tolerance for edge cases
0 commit comments