From 6e2ec8910223716a57727daec0c0b8d2e03e9215 Mon Sep 17 00:00:00 2001 From: dzaima Date: Sun, 13 Aug 2023 03:54:29 +0300 Subject: [PATCH] =?UTF-8?q?verify=20assumptions=20made=20by=20tests=20of?= =?UTF-8?q?=20=C2=AF0?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- test/cases/system.bqn | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/test/cases/system.bqn b/test/cases/system.bqn index 69d8f9ed..a185af30 100644 --- a/test/cases/system.bqn +++ b/test/cases/system.bqn @@ -167,6 +167,12 @@ t0←•MonoTime@ ⋄ ! 0.1≤•Delay 0.1 ⋄ ! 0.1≤(•MonoTime@)-t0 !"•math.Sum: Argument must be a list (2‿2 ≡ ≢𝕩)" % •math.Sum 2‿2⥊1 !"•math.Sum: Argument elements must be numbers" % •math.Sum 1‿'a' + + +# 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 +64‿32•bit._cast ⟨π, 0, •ParseFloat"-0"⟩ %% 1413754136‿1074340347‿0‿0‿0‿¯2147483648 + ! {(𝕩 •math.Atan2 0) ≡ 𝕩 •math.Atan2 •ParseFloat"-0"} (-≍⊢) ∞∾˜↕3 ! {(0 •math.Atan2 𝕩) ≡ (•ParseFloat"-0") •math.Atan2 𝕩} (-≍⊢) ∞∾˜↕3 E←•internal.EEqual ⋄ a←(¯1⊸×≍⊢) (↕3)∾∞∾0÷0 ⋄ {𝕩!(a 𝕏 0)E a 𝕏 •ParseFloat"-0" ⋄ 𝕩!(0 𝕏 a)E(•ParseFloat"-0") 𝕏 a}¨ (⊢∾{𝕏¨}¨) ⟨+,-,×,÷,⋆,√,⌊,⌈,|,¬,∧,∨,<,>,≠,=,≤,≥, •math.Atan2,•math.Comb,•math.Hypot⟩