diff --git a/test/cases/cells.bqn b/test/cases/cells.bqn index d0f4ea09..9fea925d 100644 --- a/test/cases/cells.bqn +++ b/test/cases/cells.bqn @@ -32,13 +32,13 @@ %USE IS_HEAPVERIFY # big ˝˘ & `˘ tester _basicArgs ← { Test _𝕣 ranks: - {π•Šf: {{! f Test 0β€Ώ1β₯ŠΛœ π•©βŠ0β€Ώ2β€Ώ4β€Ώ8β€Ώ32}Β¨ ↕𝕩β₯Š3 β‹„ 1}Β¨ 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; heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ π”½ΛβŽ‰π•¨ 𝕩; (π”½ΛβŽ‰π•¨ ≑ π”½Λβ—‹βŠ’βŽ‰π•¨) 𝕩} - _testScanCells ← { heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ 𝔽`βŽ‰π•¨ 𝕩; (𝔽`βŽ‰π•¨ ≑ 𝔽`β—‹βŠ’βŽ‰π•¨) 𝕩} + _testFoldCells ← {βˆ¨Β΄π•—=βŠ’β€ΏβŠ£? 0=Γ—Β΄(-𝕨)↑≒𝕩? 1; heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ π”½ΛβŽ‰π•¨ 𝕩; ! (π”½ΛβŽ‰π•¨ ≑ π”½Λβ—‹βŠ’βŽ‰π•¨) 𝕩} + _testScanCells ← { heapverify? 0=β‰ β₯Šπ•©? 1 ⊣ 𝔽`βŽ‰π•¨ 𝕩; ! (𝔽`βŽ‰π•¨ ≑ 𝔽`β—‹βŠ’βŽ‰π•¨) 𝕩} {1 𝕨 _testFoldCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4 {1 𝕨 _testScanCells 𝕩} _basicArgs 2β€Ώ3β€Ώ4 @@ -54,5 +54,5 @@ 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⟩ + }⌜ ⟨0, 1, 2, 8, 8β€Ώ1, 4β€Ώ8, 4β€Ώ2, 59, 60, 63, 80, 81, 200, 640, 641⟩ )