From f517dae599bad02d796a8ae3de9c1ab1a667f829 Mon Sep 17 00:00:00 2001 From: Eric Willigers Date: Fri, 14 Aug 2026 13:36:45 +1000 Subject: [PATCH] line-up: sync tests --- exercises/practice/line-up/.meta/tests.toml | 18 ++++++++++++++++++ exercises/practice/line-up/LineUpTest.lean | 18 ++++++++++++++++++ .../nucleotide-count/.meta/config.json | 2 +- 3 files changed, 37 insertions(+), 1 deletion(-) diff --git a/exercises/practice/line-up/.meta/tests.toml b/exercises/practice/line-up/.meta/tests.toml index 36fdf1d..dd66fc1 100644 --- a/exercises/practice/line-up/.meta/tests.toml +++ b/exercises/practice/line-up/.meta/tests.toml @@ -51,9 +51,24 @@ description = "format non-exceptional ordinal numeral 13" [2bdcebc5-c029-4874-b6cc-e9bec80d603a] description = "format exceptional ordinal numeral 21" +[a98e2e22-ab41-4557-a7c2-efedc19c16da] +description = "format exceptional ordinal numeral 22 ending in nd even though it is a multiple of 11" + +[ab45d2fb-e0ee-4016-b605-76917584db0a] +description = "format exceptional ordinal numeral 33 ending in rd even though it is a multiple of 11" + +[c9243603-9f17-45b3-9a41-db9ebdbf08e1] +description = "format exceptional ordinal numeral 52 ending in nd even though it is a multiple of 13" + [74ee2317-0295-49d2-baf0-d56bcefa14e3] description = "format exceptional ordinal numeral 62" +[3f6c408c-4331-42b6-bb6c-3ad0823e568a] +description = "format non-exceptional ordinal numeral 72 ending in nd even though it is a multiple of 12" + +[8db52cd9-9689-413f-a812-6c36fcfd0d07] +description = "format exceptional ordinal numeral 91 ending in st even though it is a multiple of 13" + [b37c332d-7f68-40e3-8503-e43cbd67a0c4] description = "format exceptional ordinal numeral 100" @@ -65,3 +80,6 @@ description = "format non-exceptional ordinal numeral 112" [06b62efe-199e-4ce7-970d-4bf73945713f] description = "format exceptional ordinal numeral 123" + +[6792c54e-59a7-4faf-839a-c4bb61014229] +description = "format large number 972 ending in nd even though it is a multiple of 12" diff --git a/exercises/practice/line-up/LineUpTest.lean b/exercises/practice/line-up/LineUpTest.lean index 3890ff4..2e581f4 100644 --- a/exercises/practice/line-up/LineUpTest.lean +++ b/exercises/practice/line-up/LineUpTest.lean @@ -47,9 +47,24 @@ def lineUpTests : TestSuite := |>.addTest "format exceptional ordinal numeral 21" (do return assertEqual "Washi, you are the 21st customer we serve today. Thank you!" (LineUp.format "Washi" 21)) + |>.addTest "format exceptional ordinal numeral 22 ending in nd even though it is a multiple of 11" (do + return assertEqual "Ingrid, you are the 22nd customer we serve today. Thank you!" + (LineUp.format "Ingrid" 22)) + |>.addTest "format exceptional ordinal numeral 33 ending in rd even though it is a multiple of 11" (do + return assertEqual "Mario, you are the 33rd customer we serve today. Thank you!" + (LineUp.format "Mario" 33)) + |>.addTest "format exceptional ordinal numeral 52 ending in nd even though it is a multiple of 13" (do + return assertEqual "Quentin, you are the 52nd customer we serve today. Thank you!" + (LineUp.format "Quentin" 52)) |>.addTest "format exceptional ordinal numeral 62" (do return assertEqual "Nayra, you are the 62nd customer we serve today. Thank you!" (LineUp.format "Nayra" 62)) + |>.addTest "format non-exceptional ordinal numeral 72 ending in nd even though it is a multiple of 12" (do + return assertEqual "Ugo, you are the 72nd customer we serve today. Thank you!" + (LineUp.format "Ugo" 72)) + |>.addTest "format exceptional ordinal numeral 91 ending in st even though it is a multiple of 13" (do + return assertEqual "Boris, you are the 91st customer we serve today. Thank you!" + (LineUp.format "Boris" 91)) |>.addTest "format exceptional ordinal numeral 100" (do return assertEqual "John, you are the 100th customer we serve today. Thank you!" (LineUp.format "John" 100)) @@ -62,6 +77,9 @@ def lineUpTests : TestSuite := |>.addTest "format exceptional ordinal numeral 123" (do return assertEqual "Yma, you are the 123rd customer we serve today. Thank you!" (LineUp.format "Yma" 123)) + |>.addTest "format large number 972 ending in nd even though it is a multiple of 12" (do + return assertEqual "Elias, you are the 972nd customer we serve today. Thank you!" + (LineUp.format "Elias" 972)) def main : IO UInt32 := do runTestSuitesWithExitCode [lineUpTests] diff --git a/exercises/practice/nucleotide-count/.meta/config.json b/exercises/practice/nucleotide-count/.meta/config.json index c1e49bc..24227ae 100644 --- a/exercises/practice/nucleotide-count/.meta/config.json +++ b/exercises/practice/nucleotide-count/.meta/config.json @@ -14,6 +14,6 @@ ] }, "blurb": "Given a DNA string, compute how many times each nucleotide occurs in the string.", - "source": "The Calculating DNA Nucleotides_problem at Rosalind", + "source": "The Counting DNA Nucleotides problem at Rosalind", "source_url": "https://rosalind.info/problems/dna/" }