From 8d5efa72f0dae158cb3ba9baa89b8e91e36359cc Mon Sep 17 00:00:00 2001 From: dzaima Date: Wed, 26 Jun 2024 03:16:41 +0300 Subject: [PATCH] =?UTF-8?q?testing=20of=20=CB=9D=CB=98=20&=20`=CB=98?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/cases/cells.bqn | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/test/cases/cells.bqn b/test/cases/cells.bqn index 9ca95b06..d0106260 100644 --- a/test/cases/cells.bqn +++ b/test/cases/cells.bqn @@ -27,3 +27,31 @@ %USE tcc β‹„ ⟨⊏⟩ {π•Ž _tcc 𝕩}⌜ ⟨4β€Ώ5β₯Šβ†•20, 4β€Ώ5β€Ώ6β₯Šβ†•120, 2β€Ώ3β€Ώ4β€Ώ5β₯Šβ†•120⟩ %USE tcc β‹„ ⊏_tcc 4β€Ώ2β₯Šβ†•8 β‹„ 1⊏_tcc 4β€Ώ2β₯Šβ†•8 β‹„ ⊏_tcc ↕4β€Ώ2 β‹„ 1⊏_tcc ↕4β€Ώ2 %USE tcc β‹„ βŠ‘_tcc 4β€Ώ2β₯Šβ†•8 β‹„ 1βŠ‘_tcc 4β€Ώ2β₯Šβ†•8 β‹„ βŠ‘_tcc ↕4β€Ώ2 β‹„ 1βŠ‘_tcc ↕4β€Ώ2 + +( + # big ˝˘ & `˘ tester + _basicArgs ← { Test _𝕣 ranks: + {π•Šf: {{! f Test 0β€Ώ1β₯ŠΛœ π•©βŠ0β€Ώ2β€Ώ4β€Ώ8β€Ώ32}Β¨ ↕𝕩β₯Š3 β‹„ 1}Β¨ ranks}Β¨ +β€Ώβˆ§β€Ώβˆ¨β€Ώ=β€Ώβ‰ β€ΏβŠ£β€ΏβŠ’ + } + + # TODO replace β—‹βŠ’ with some pureness-preserving β€’internal.Keep + # w F _thing x tests F _thingβŽ‰w x + _testFoldCells ← {βˆ¨Β΄π•—=βŠ’β€ΏβŠ£? 0=×´𝕨↓≒𝕩? 1; (π”½ΛβŽ‰π•¨ ≑ π”½Λβ—‹βŠ’βŽ‰π•¨) 𝕩} + _testScanCells ← { (𝔽`βŽ‰π•¨ ≑ 𝔽`β—‹βŠ’βŽ‰π•¨) 𝕩} + + {1 𝕨 _testFoldCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4 + {1 𝕨 _testScanCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4 + {2 𝕨 _testScanCells 𝕩} _basicArgs 3β€Ώ4 + {2 𝕨 _testScanCells 𝕩} _basicArgs 3β€Ώ4 + + + ⟨0, 0β€Ώ1, 1β€Ώ0, 1, 10, 10β€Ώ1, 1β€Ώ10, 100⟩ { + 𝕨‿𝕩 β₯ŠΒ¨β†© + sh ← π•¨βˆΎπ•© + cr ← ≠𝕩 + +β€Ώβˆ§β€Ώβˆ¨β€Ώ=β€Ώβ‰ β€ΏβŠ£β€ΏβŠ’ { + cr π•Ž _testFoldCells 𝕩 + cr π•Ž _testScanCells 𝕩 + }⌜ {0=Γ—Β΄sh? 𝕩; βˆΎβŸ¨π•©, Β¬βŒΎβŠ‘Β¨ 𝕩, ¬⌾(Β―1βŠ‘β₯Š)Β¨ π•©βŸ©} sh⊸β₯ŠΒ¨ 0β€Ώ1 + }⌜ ⟨0, 1, 2, 8, 8β€Ώ1, 4β€Ώ8, 4β€Ώ2, 59, 60, 63, 80, 81, 200⟩ +)