package Ġorg . am sh ove . k lu ent . tests . assertions . char sequence čĊč Ċ import Ġorg . am sh ove . k lu ent . should Contain Some č Ċ import Ġorg . jetbrains . spe k . api . Spe k č Ċ import Ġkotlin . test . assert Fails čĊč Ċ class ĠShould Contain Some Tests Ġ: ĠSpe k ({ čĊĠĠĠ Ġgiven (" the Ġshould Contain Some Ġmethod ") Ġ{ čĊĠĠĠĠĠĠĠ Ġon (" testing Ġif Ġa Ġstring Ġcontains Ġsome Ġsub strings ") Ġ{ čĊĠĠĠĠĠĠĠĠĠĠĠ Ġit (" should Ġpass ") Ġ{ čĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġmessage Ġ= Ġ" I Ġlove Ġto Ġwrite Ġfluent Ġtests " čĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġother Strings Ġ= ĠlistOf (" Ber lin ", Ġ" write ") čĊčĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġmessage Ġshould Contain Some Ġother Strings čĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} čĊĠĠĠĠĠĠĠ Ġ} čĊĠĠĠĠĠĠĠ Ġon (" testing Ġif Ġa Ġstring Ġcontains Ġsome Ġsub strings Ġwhich Ġit Ġdoesn 't Ġcontain ") Ġ{ čĊĠĠĠĠĠĠĠĠĠĠĠ Ġit (" should Ġfail ") Ġ{ čĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġmessage Ġ= Ġ" I Ġlove Ġto Ġwrite Ġfluent Ġtests " čĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġval Ġother Strings Ġ= ĠlistOf (" testing ", Ġ" writing ", Ġ" code ") čĊčĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġassert Fails Ġ{ Ġmessage Ġshould Contain Some Ġother Strings Ġ} čĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} čĊĠĠĠĠĠĠĠ Ġ} čĊĠĠĠ Ġ} č Ċ })