diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/fuzz.bqn | 13 |
1 files changed, 11 insertions, 2 deletions
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 |