From 9b3497c37db4177b43932f2b2459d11664a48931 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 9 Apr 2022 20:21:54 -0400
Subject: =?UTF-8?q?Bugfixes=20for=20=E2=8A=8F=20fuzzing?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/fuzz.bqn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test')

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)∨⊔˙⊸≠)¨ 𝕗
-- 
cgit v1.2.3