make cells test work under heapverify
disables checking whether the result is correct, which is not important during heapverify
This commit is contained in:
parent
b6bf3f2da6
commit
8e7f19a883
@ -29,6 +29,7 @@
|
|||||||
%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
|
||||||
|
|
||||||
(
|
(
|
||||||
|
%USE IS_HEAPVERIFY
|
||||||
# big ˝˘ & `˘ tester
|
# big ˝˘ & `˘ tester
|
||||||
_basicArgs ← { Test _𝕣 ranks:
|
_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}¨ +‿∧‿∨‿=‿≠‿⊣‿⊢
|
||||||
@ -36,8 +37,8 @@
|
|||||||
|
|
||||||
# TODO replace ○⊢ with some pureness-preserving •internal.Keep
|
# TODO replace ○⊢ with some pureness-preserving •internal.Keep
|
||||||
# w F _thing x tests F _thing⎉w x
|
# w F _thing x tests F _thing⎉w x
|
||||||
_testFoldCells ← {∨´𝕗=⊢‿⊣? 0=×´𝕨↓≢𝕩? 1; (𝔽˝⎉𝕨 ≡ 𝔽˝○⊢⎉𝕨) 𝕩}
|
_testFoldCells ← {∨´𝕗=⊢‿⊣? 0=×´𝕨↓≢𝕩? 1; heapverify? 0=≠⥊𝕩? 1 ⊣ 𝔽˝⎉𝕨 𝕩; (𝔽˝⎉𝕨 ≡ 𝔽˝○⊢⎉𝕨) 𝕩}
|
||||||
_testScanCells ← { (𝔽`⎉𝕨 ≡ 𝔽`○⊢⎉𝕨) 𝕩}
|
_testScanCells ← { heapverify? 0=≠⥊𝕩? 1 ⊣ 𝔽`⎉𝕨 𝕩; (𝔽`⎉𝕨 ≡ 𝔽`○⊢⎉𝕨) 𝕩}
|
||||||
|
|
||||||
{1 𝕨 _testFoldCells 𝕩} _basicArgs 2‿3‿4
|
{1 𝕨 _testFoldCells 𝕩} _basicArgs 2‿3‿4
|
||||||
{1 𝕨 _testScanCells 𝕩} _basicArgs 2‿3‿4
|
{1 𝕨 _testScanCells 𝕩} _basicArgs 2‿3‿4
|
||||||
|
|||||||
@ -63,7 +63,7 @@ searchRefine ← {
|
|||||||
exitCode ← 0
|
exitCode ← 0
|
||||||
Run ← { 𝕊 testname:
|
Run ← { 𝕊 testname:
|
||||||
lns ← •FLines fullfile ← "cases"•file.At filename ← testname∾".bqn"
|
lns ← •FLines fullfile ← "cases"•file.At filename ← testname∾".bqn"
|
||||||
defk‿defv ← ⟨⟩‿⟨⟩
|
defk‿defv ← ⟨"IS_HEAPVERIFY"⟩‿⟨"heapverify←"∾•Repr o.heapverify⟩
|
||||||
i ← 0
|
i ← 0
|
||||||
Pos ← {∾⟨filename, ":", •Repr 1+𝕩⟩}
|
Pos ← {∾⟨filename, ":", •Repr 1+𝕩⟩}
|
||||||
Next ← {𝕊: (i+↩1) ⊢ i⊑lns}
|
Next ← {𝕊: (i+↩1) ⊢ i⊑lns}
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user