make tests handle usz=64 differences
This commit is contained in:
parent
03fc22662b
commit
398f541cec
@ -84,8 +84,10 @@
|
||||
!"𝕨/𝕩: Compound 𝕨 must have rank at most 1" % (1‿2⥊<↕4) / ↕4
|
||||
!"𝕨/𝕩: 𝕨 must consist of natural numbers" % ⟨↕4, 1‿2‿3.5‿4⟩ / 4‿4⥊↕16
|
||||
!"𝕨/𝕩: 𝕨 must consist of natural numbers" % ⟨↕4, 3.5⟩ / 4‿4⥊↕16
|
||||
!"Integer out of range: 4.611686018427388e18" % ⟨1,2⋆62⟩ / 2‿2⥊<⋈0
|
||||
!"Integer out of range: 4.611686018427388e18" % ⟨1,2⋆62⟩ / 2⥊<⋈0
|
||||
!"Integer out of range: 4.611686018427388e18" % ⟨1,2⋆62⟩ / 2‿2⥊<⋈0 %USZ32
|
||||
!"Integer out of range: 4.611686018427388e18" % ⟨1,2⋆62⟩ / 2⥊<⋈0 %USZ32
|
||||
!"Out of memory" % ⟨1,2⋆62⟩ / 2‿2⥊<⋈0 %USZ64
|
||||
!"Out of memory" % ⟨1,2⋆62⟩ / 2⥊<⋈0 %USZ64
|
||||
⟨↕4, 0, ↕5⟩ / 4‿4‿5⥊@ %% 6‿0‿10⥊@
|
||||
⟨↕4, 4⥊0, ↕5⟩ / 4‿4‿5⥊@ %% 6‿0‿10⥊@
|
||||
1‿0‿2 / ⋈¨ ["ab","cd","ef"] %% ⋈¨ ["ab","ef","ef"]
|
||||
|
||||
@ -296,7 +296,9 @@ r←•MakeRand 1 ⋄ ! 1¨⊸≡ ∊{𝕊: 500 r.Deal 1000}¨ ↕4
|
||||
!"•bit._cast: incompatible lengths" % 8‿32•bit._cast 10⥊0
|
||||
|
||||
!"•bit._cast: unsupported width 1073741824" % (2⥊2⋆30)•bit._cast ⋈0
|
||||
!"Integer out of range: 1125899906842624" % (2⥊2⋆50)•bit._cast ⋈0
|
||||
!"•bit._cast: unsupported width 1125899906842624" % (2⥊2⋆50)•bit._cast ⋈0 %USZ64
|
||||
!"Integer out of range: 1125899906842624" % (2⥊2⋆50)•bit._cast ⋈0 %USZ32
|
||||
!"Integer out of range: 1.180591620717411e21" % (2⥊2⋆70)•bit._cast ⋈0
|
||||
!"Integer out of range: ∞" % (2⥊∞)•bit._cast ⋈0
|
||||
|
||||
!"•bit._cast: unsupported width 12" % 1‿12•bit._cast 11⥊0
|
||||
|
||||
@ -42,6 +42,7 @@ o ← {
|
||||
|
||||
pr ← {⟨P⇐Properties⟩: @P@; 32‿0} •internal
|
||||
properFills ⇐ 1⊑pr
|
||||
usz ⇐ ⊑pr
|
||||
noerr∨↩ heapverify
|
||||
update∧↩ ¬heapverify
|
||||
files ⇐ (i=≠named)/args
|
||||
@ -100,6 +101,7 @@ Run ← { 𝕊 testname:
|
||||
enabled∧↩ ¬ o.debug ∧ Flag "%!DEBUG"
|
||||
enabled∧↩ ¬ o.heapverify ∧ Flag "%!HEAPVERIFY"
|
||||
enabled∧↩ {0‿0: 1; 1‿0: o.properfills; 0‿1: ¬o.properfills} Flag¨ "%PROPER_FILLS"‿"%!PROPER_FILLS"
|
||||
enabled∧↩ {0‿0: 1; 1‿0: o.usz=32; 0‿1: o.usz=64} Flag¨ "%USZ32"‿"%USZ64"
|
||||
|
||||
ln ⇐ i-1
|
||||
str ⇐ str # at end to let Flag have updated it
|
||||
|
||||
Loading…
Reference in New Issue
Block a user