No longer randomly generate outcome zero

Author: af-afk

src/actions.rs

@@ -143,7 +143,7 @@ pub fn strat_tiny_mint_into_burn_outcomes(
     use proptest::collection::vec;
     (
         strat_uniq_outcomes(2, max_outcomes),
-        vec(any::<Address>(), 0..=max_referrers),
+        vec(any::<Address>(), 2..=max_referrers),
     )
         .prop_flat_map(move |(outs, refs)| {
             let outs2 = outs.clone();

src/utils.rs

@@ -188,12 +188,27 @@ pub fn strat_fixed_bytes<const N: usize>() -> impl proptest::prelude::Strategy<V
     strat_fixed_bytes_sizeable::<N>(Uintsize::Large)
 }
 
+#[cfg(all(feature = "testing", not(target_arch = "wasm32")))]
+pub fn strat_outcome_not_zero() -> impl proptest::prelude::Strategy<Value = FixedBytes<8>> {
+    ([
+        1..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+        0..u8::MAX,
+    ])
+    .prop_map(FixedBytes::<8>::new)
+}
+
 #[cfg(all(feature = "testing", not(target_arch = "wasm32")))]
 pub fn strat_uniq_outcomes(
     lower: usize,
     upper: usize,
 ) -> impl Strategy<Value = Vec<FixedBytes<8>>> {
-    proptest::collection::btree_set(any::<FixedBytes<8>>(), lower..=upper)
+    proptest::collection::btree_set(strat_outcome_not_zero(), lower..=upper)
         .prop_map(|s| s.into_iter().collect())
 }
 

tests/amm_pred.py

@@ -1342,4 +1342,4 @@ def simulate_market_0x9d86E956d55e1AfDaC5910b581f7ec4322B65704_1640358():
     print("simulation result", market.sell(3, market.inverse_sell(3,14.843,"Alice"), "Alice"))
 
 if __name__ == "__main__":
-    simulate_market_16()
+    simulate_market_3()