fix bug in regex-test: dfa-gen.sml should add the position of the endMarker to the followSet as well

This commit is contained in:
2025-10-12 00:22:14 +01:00
parent bc16421a24
commit ce3470e612
2 changed files with 16 additions and 31 deletions

View File

@@ -123,7 +123,7 @@ struct
(* arrange *)
val sentence = "favo"
val regexString = "favou?"
val dfa = CsDfa.fromString "favorite"
val dfa = CsDfa.fromString regexString
(* act *)
val matches = CsDfa.matchString (dfa, sentence)