From ee1b4876242f2ea3ae911ebe4b0d8189f1c26b7d Mon Sep 17 00:00:00 2001 From: dzaima Date: Sat, 19 Aug 2023 17:35:39 +0300 Subject: [PATCH] use exact desired bit pattern for NaN in test --- test/cases/system.bqn | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/test/cases/system.bqn b/test/cases/system.bqn index a185af30..e8ea9c6f 100644 --- a/test/cases/system.bqn +++ b/test/cases/system.bqn @@ -170,7 +170,9 @@ t0←•MonoTime@ ⋄ ! 0.1≤•Delay 0.1 ⋄ ! 0.1≤(•MonoTime@)-t0 # two assumptions made by the following tests -64‿32•bit._cast (¯1⊸×≍⊢) (↕3)∾∞∾0÷0 %% 2‿10⥊0‿¯2147483648‿0‿¯1074790400‿0‿¯1073741824‿0‿¯1048576‿0‿¯524288‿0‿0‿0‿1072693248‿0‿1073741824‿0‿2146435072‿0‿¯524288 +%DEF nan nan←1‿64•bit._cast/51‿13 ⋄ nans ← nan∾-nan +%USE nan ⋄ 64‿32•bit._cast nans %% 0‿¯524288‿0‿¯524288 +%USE nan ⋄ 64‿32•bit._cast (¯1⊸×≍⊢) (↕3)∾∞∾nan %% 2‿10⥊0‿¯2147483648‿0‿¯1074790400‿0‿¯1073741824‿0‿¯1048576‿0‿¯524288‿0‿0‿0‿1072693248‿0‿1073741824‿0‿2146435072‿0‿¯524288 64‿32•bit._cast ⟨π, 0, •ParseFloat"-0"⟩ %% 1413754136‿1074340347‿0‿0‿0‿¯2147483648 ! {(𝕩 •math.Atan2 0) ≡ 𝕩 •math.Atan2 •ParseFloat"-0"} (-≍⊢) ∞∾˜↕3 @@ -267,4 +269,4 @@ a←⋈"Ai32"•internal.Variation ↕10 ⋄ •internal.Type ⊑•internal.Dee # •internal.Unshare •internal.Refc∘•internal.Unshare¨ ⟨↕0, "", ⟨⟩, ↕10⟩ %% 1‿1‿1‿1 # •internal.EEqual -a←1⌽⟨0÷0,-0÷0⟩∾•ParseFloat¨"0"‿"1.2"‿"-0" ⋄ a •internal.EEqual ⌽a %% 1 +%USE nan ⋄ a←1⌽nans∾•ParseFloat¨"0"‿"1.2"‿"-0" ⋄ a •internal.EEqual ⌽a %% 1