From 9a45762ecd25abe54181567803b7abba8e58cc57 Mon Sep 17 00:00:00 2001 From: dzaima Date: Fri, 21 Mar 2025 04:39:37 +0200 Subject: [PATCH] more groupstat tests test change counter for i8 better, and make sure empty input functions as required --- test/cases/build-specific/test_group_stat.bqn | 2 ++ 1 file changed, 2 insertions(+) diff --git a/test/cases/build-specific/test_group_stat.bqn b/test/cases/build-specific/test_group_stat.bqn index d4f6e69d..eb0b8fe5 100644 --- a/test/cases/build-specific/test_group_stat.bqn +++ b/test/cases/build-specific/test_group_stat.bqn @@ -11,6 +11,8 @@ %USE tvar β‹„ AllEq {⊒_tvar 𝕩β₯Š10}Β¨ 1+↕1000 %% 0β€Ώ0β€Ώ1β€Ώ1β€Ώ10 %USE tvar β‹„ {! ⟨0,0,0,𝕩,3⟩ ≑ ⊒_tvar 𝕩β₯Š3β€Ώ2}Β¨ 2+↕1000 %USE tvar β‹„ {! ⟨0,0,1,𝕩,𝕩-1⟩ ≑ ⊒_tvar ↕𝕩}Β¨ 1+↕1000 +%USE tvar β‹„ {! ⟨0,0,𝕩≀10,𝕩,9βŒŠπ•©-1⟩ ≑ ⊒_tvar 𝕩β₯Šβ†•10}Β¨ (1+↕10000) ∾ β‰€βŸœ(2⋆20)⊸/ ⍷∧⌊β₯Š1.5β€Ώ2β‹†βŒœβ†•40 +%USE tvar β‹„ ⊒_tvar ↕0 %% 0β€Ώ0β€Ώ1β€Ώ0β€ΏΒ―1 %USE tvar β‹„ AllEq {a←𝕩β₯Š0 β‹„ AllEq {0β€Ώ1β€Ώ2β€Ώ4⊸⊏_tvar 3⌾(π•©βŠΈβŠ‘) a}Β¨ ↕𝕩-1}Β¨ 2+↕40 %% 0β€Ώ0β€Ώ0β€Ώ3 %USE tvar β‹„ AllEq {a←𝕩β₯Š0 β‹„ AllEq { ⊒_tvar 9⌾(π•©βŠΈβŠ‘) a}Β¨ 1+↕𝕩-2}Β¨ 3+↕40 %% 0β€Ώ0β€Ώ0β€Ώ3β€Ώ9