package Ġdev . ust its . k ref ty . predicate . string Ċ Ċ import Ġio . kot est . core . spec . style . String Spec Ċ import Ġio . kot est . property . exhaustive . exhaustive Ċ import Ġio . kot est . property . for All Ċ Ċ class ĠMat ches Regex Test Ġ: ĠString Spec ({ ĊĊĠĠĠ Ġ" returns Ġtrue Ġif Ġmatches Ġregex " Ġ{ ĊĠĠĠĠĠĠĠ Ġfor All ( listOf (" it Ġis Ġ 1 0 Ġam ", Ġ" it Ġis \ t 1 2 Ġpm ", Ġ" it \ nis \ n 1 \ nam "). exhaustive ()) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠMat ches Regex (" it \\ s + is \\ s + \\ d { 1 , 2 }\\ s +( am | pm ) "). is Ref ined ( it ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ" returns Ġfalse Ġif Ġdoesn 't Ġmatch Ġregex " Ġ{ ĊĠĠĠĠĠĠĠ Ġfor All ( listOf (" It Ġis Ġ 1 0 Ġam ", Ġ" it Ġis \ t 1 2 1 Ġpm ", Ġ" it \ nis \ n - 1 \ nam "). exhaustive ()) Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ! Matches Regex (" it \\ s + is \\ s + \\ d { 1 , 2 }\\ s +( am | pm ) "). is Ref ined ( it ) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ }) Ċ