From f32a53aabc8412397f036588669f5856c975ad54 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Thu, 9 Oct 2025 05:39:01 +0100
Subject: [PATCH] added regex tests for case sensitivity

---
 test/regex-tests.sml | 65 +++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 64 insertions(+), 1 deletion(-)

diff --git a/test/regex-tests.sml b/test/regex-tests.sml
index 17d02d5..3319b74 100644
--- a/test/regex-tests.sml
+++ b/test/regex-tests.sml
@@ -39,5 +39,68 @@ struct
         end)
     ]
 
-  val tests = [caseInsensitiveTests]
+  val caseSensitiveTests = describe "case sensitive regex"
+    [ test "does not recognise word 'hello' in string 'Hello world'" (fn _ =>
+        let
+          (* arrange *)
+          val regexString = "hello"
+          val dfa = CsDfa.fromString regexString
+          val inputString = "Hello world"
+
+          (* act *)
+          val matches = CsDfa.matchString (dfa, inputString)
+
+          (* assert *)
+          val expectedMatches = []
+        in
+          Expect.isTrue (matches = expectedMatches)
+        end)
+    , test "recognises word 'Hello' in string 'Hello world'" (fn _ =>
+        let
+          (* arrange *)
+          val regexString = "Hello"
+          val dfa = CsDfa.fromString regexString
+          val inputString = "Hello world"
+
+          (* act *)
+          val matches = CsDfa.matchString (dfa, inputString)
+
+          (* assert *)
+          val expectedMatches = [(0, 4)]
+        in
+          Expect.isTrue (matches = expectedMatches)
+        end)
+    , test "does not recognise word 'world' in string 'HELLO WORLD'" (fn _ =>
+        let
+          (* arrange *)
+          val regexString = "world"
+          val dfa = CsDfa.fromString regexString
+          val inputString = "HELLO WORLD"
+
+          (* act *)
+          val matches = CsDfa.matchString (dfa, inputString)
+
+          (* assert *)
+          val expectedMatches = []
+        in
+          Expect.isTrue (matches = expectedMatches)
+        end)
+    , test "recognises word 'WORLD' in string 'HELLO WORLD'" (fn _ =>
+        let
+          (* arrange *)
+          val regexString = "WORLD"
+          val dfa = CsDfa.fromString regexString
+          val inputString = "HELLO WORLD"
+
+          (* act *)
+          val matches = CsDfa.matchString (dfa, inputString)
+
+          (* assert *)
+          val expectedMatches = [(6, 10)]
+        in
+          Expect.isTrue (matches = expectedMatches)
+        end)
+    ]
+
+  val tests = [caseInsensitiveTests, caseSensitiveTests]
 end