From e07f1ccf213f1f9c63f5da8427799fd13dfcab99 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Fri, 1 Apr 2022 15:04:00 -0400 Subject: =?UTF-8?q?Avoid=20=E2=8A=91=20of=20empty=20in=20fuzz=20testing?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/fuzz.bqn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test') diff --git a/test/fuzz.bqn b/test/fuzz.bqn index e71ff5b7..afe4dbc0 100644 --- a/test/fuzz.bqn +++ b/test/fuzz.bqn @@ -196,7 +196,7 @@ _testSelect ← { # /⊏ d ← 𝕨 gen.Struct sh RandInd ← 0⊸≠◶⟨⟨⟩,gen.Index⟜(⥊‿RandShape _randChoose)˜⟩ g ← ({⊏} = 𝕗) ⊏ RandRep‿RandInd - g { ! (n𝕎 ⊑sh) 𝕏 _testConsistent_ ≡ d }¨ 𝕗 + g { ! (n𝕎 0⊣´sh) 𝕏 _testConsistent_ ≡ d }¨ 𝕗 g { ! (l𝕎¨l≠⊸↑sh) 𝕏 _testConsistent_ ≡ d }⍟((0<≠l)∨⊔˙⊸≠)¨ 𝕗 } -- cgit v1.2.3