From abce2c6b19466aabcec0768b8bdf707ec1b879af Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 31 May 2021 22:25:33 -0400
Subject: =?UTF-8?q?Consistency=20testing=20with=20=E2=80=A2internal.Variat?=
 =?UTF-8?q?ion?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

(limited to 'test/fuzz.bqn')

diff --git a/test/fuzz.bqn b/test/fuzz.bqn
index 74944849..bf8e72ce 100644
--- a/test/fuzz.bqn
+++ b/test/fuzz.bqn
@@ -1,4 +1,5 @@
 # Tester that checks primitives on random arguments
+Squeeze‿ListVariations‿Variation‿ClearRefs ← •internal
 
 Range ← (•MakeRand 2).Range
 Rand ← {𝕨 Range 1⌈𝕩}
@@ -64,7 +65,7 @@ Sigmoid ← (40≤|)◶⟨1(-÷+)˜⋆,×⟩
     ⊢ ⥊ RL⟜(1⌈RN)                           # Repeat
     Combine Rand‿⊢_randChoose⊸RL¨⟜RandSplit # Partition
   ⟩{ 8⊸≤◶⟨0,Rand∘(≠𝕗)⟩◶𝕗 }
-  RandArith ⇐ •internal.Squeeze ⊢ ⥊ RandList⟜(×´)
+  RandArith ⇐ Squeeze ⊢ ⥊ RandList⟜(×´)
 }
 
 # 𝕩 is bound
@@ -74,5 +75,13 @@ RandDyArith ← {
   𝕨⊸RandArith¨ (Rand 2) ⌽ ≍○<⟜Prefix RandShape 𝕩
 }
 
+_testConsistent_ ← {Match←𝔾
+  v ← <˘⍉> (5⌊´≠¨)⊸((Rand⟜≠⊏⊢)¨) ListVariations¨ a←𝕨≍○<𝕩
+  (ClearRefs@) ⊢ (∧´ ⊏ Match¨ 1⊸↓) (𝕨 (𝔽⊑∘⊢)⊘(𝔽´⊢) Variation¨⟜a)¨ v
+}
+
+FlatMatch ← ≡◶⟨∧´∘⥊=∨∧○(≠˜),1⟩
 types ← 0‿3‿4‿5‿6
-types { ! (𝕨+𝕩)≡◶⟨∧´∘⥊=∨∧○(≠˜),1⟩𝕨--𝕩 }´∘RandDyArith⌜ 100⥊1e3
+dyArith ← +‿-‿×‿÷‿⋆‿√‿⌊‿⌈‿∧‿∨‿¬‿|‿≤‿<‿>‿≥‿=‿≠
+Test ← { 0○•Show˜⍟{ ¬ 𝕎 _testConsistent_ FlatMatch´ 𝕩 }⟜𝕩¨ dyArith }
+types Test∘RandDyArith⌜ 10⥊100
-- 
cgit v1.2.3