diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-09 20:21:54 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-09 20:21:54 -0400 |
| commit | 9b3497c37db4177b43932f2b2459d11664a48931 (patch) | |
| tree | 95e05ac356555503f0b1b4895053977769d4e2ed /test | |
| parent | a7e38bd0e8a7b25f8d6ae8f5069e931026a7d8e7 (diff) | |
Bugfixes for ⊏ fuzzing
Diffstat (limited to 'test')
| -rw-r--r-- | test/fuzz.bqn | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/fuzz.bqn b/test/fuzz.bqn index d6536c67..e4641bfe 100644 --- a/test/fuzz.bqn +++ b/test/fuzz.bqn @@ -150,7 +150,7 @@ _testDyArith ← {f←𝕗 _testMonStruct ← { # ⥊≍⌽⍉⊏ k ← 3|1+ ⌽‿⊏ ⊐ 𝕗 - sh ← k ⊏ {𝕏𝕨}` (1+⌈´k) ↑ ⟨RandShape 𝕩, 1⊸∾⍟(0=≠), 1⊸⌈⌾⊑⟩ + sh ← k ⊏ {𝕏𝕨}` (1+⌈´k) ↑ ⟨RandShape 𝕩, 1⊸∾⍟(0=≠), 1⊸∾⍟(0=⊑)⟩ ((⊐sh) ⊏ 𝕨⊸gen.Struct¨ ⍷sh) { ! 𝕏 _testConsistent_ ≡ 𝕨 }¨ 𝕗 } @@ -194,7 +194,7 @@ _testSelect ← { # /⊏ l‿sh ← (⍋≠¨)⊸⊏ RandShape¨ 𝕩‿𝕩 n ← RandBound 𝕩 d ← 𝕨 gen.Struct sh - RandInd ← 0⊸≠◶⟨⟨⟩,gen.Index⟜(⥊‿RandShape _randChoose)˜⟩ + RandInd ← ∧○(0⊸≠)◶⟨⟨⟩,gen.Index⟜(⥊‿RandShape _randChoose)˜⟩ g ← ({⊏} = 𝕗) ⊏ RandRep‿RandInd g { ! (n𝕎 0⊣´sh) 𝕏 _testConsistent_ ≡ d }¨ 𝕗 g { ! (l𝕎¨l≠⊸↑sh) 𝕏 _testConsistent_ ≡ d }⍟((0<≠l)∨⊔˙⊸≠)¨ 𝕗 |