diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-05-31 14:44:55 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-05-31 14:44:55 -0400 |
| commit | 0cc6f2a6c271301b39cff260d5b319accb584d85 (patch) | |
| tree | 01ed2e7e074da8fc531f2776116478abff93cba8 | |
| parent | 87fd60f6d3f574155214fea44147c7f0a8744e71 (diff) | |
Avoid breaking bound when taking a shape prefix
| -rw-r--r-- | test/fuzz.bqn | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/fuzz.bqn b/test/fuzz.bqn index ee116a2f..303eb930 100644 --- a/test/fuzz.bqn +++ b/test/fuzz.bqn @@ -55,7 +55,10 @@ RandArith ← { } # 𝕩 is bound RandMonArith ← RandArith⟜RandShape -RandDyArith ← { 𝕨⊸RandArith¨ (Rand 2) ⌽ (Rand 1+≠)⊸(⊢≍○<↑) RandShape 𝕩 } +RandDyArith ← { + Prefix ← (∨`⌾⌽ 𝕩 ≥ ×`)⊸/ (Rand 1+≠)⊸↑ + 𝕨⊸RandArith¨ (Rand 2) ⌽ ≍○<⟜Prefix RandShape 𝕩 +} types ← 0‿3‿4‿5‿6 types { ! (𝕨+𝕩)≡𝕨--𝕩 }´∘RandDyArith⌜ 100⥊1e3 |