diff --git a/test/cases/cells.bqn b/test/cases/cells.bqn index d0106260..d0f4ea09 100644 --- a/test/cases/cells.bqn +++ b/test/cases/cells.bqn @@ -29,6 +29,7 @@ %USE tcc ⋄ ⊑_tcc 4‿2⥊↕8 ⋄ 1⊑_tcc 4‿2⥊↕8 ⋄ ⊑_tcc ↕4‿2 ⋄ 1⊑_tcc ↕4‿2 ( + %USE IS_HEAPVERIFY # big ˝˘ & `˘ tester _basicArgs ← { Test _𝕣 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 # w F _thing x tests F _thing⎉w x - _testFoldCells ← {∨´𝕗=⊢‿⊣? 0=×´𝕨↓≢𝕩? 1; (𝔽˝⎉𝕨 ≡ 𝔽˝○⊢⎉𝕨) 𝕩} - _testScanCells ← { (𝔽`⎉𝕨 ≡ 𝔽`○⊢⎉𝕨) 𝕩} + _testFoldCells ← {∨´𝕗=⊢‿⊣? 0=×´𝕨↓≢𝕩? 1; heapverify? 0=≠⥊𝕩? 1 ⊣ 𝔽˝⎉𝕨 𝕩; (𝔽˝⎉𝕨 ≡ 𝔽˝○⊢⎉𝕨) 𝕩} + _testScanCells ← { heapverify? 0=≠⥊𝕩? 1 ⊣ 𝔽`⎉𝕨 𝕩; (𝔽`⎉𝕨 ≡ 𝔽`○⊢⎉𝕨) 𝕩} {1 𝕨 _testFoldCells 𝕩} _basicArgs 2‿3‿4 {1 𝕨 _testScanCells 𝕩} _basicArgs 2‿3‿4 diff --git a/test/run.bqn b/test/run.bqn index 783854a7..dc40b1fb 100644 --- a/test/run.bqn +++ b/test/run.bqn @@ -63,7 +63,7 @@ searchRefine ← { exitCode ← 0 Run ← { 𝕊 testname: lns ← •FLines fullfile ← "cases"•file.At filename ← testname∾".bqn" - defk‿defv ← ⟨⟩‿⟨⟩ + defk‿defv ← ⟨"IS_HEAPVERIFY"⟩‿⟨"heapverify←"∾•Repr o.heapverify⟩ i ← 0 Pos ← {∾⟨filename, ":", •Repr 1+𝕩⟩} Next ← {𝕊: (i+↩1) ⊢ i⊑lns}