package Ġorg . am sh ove . k lu ent . tests . assertions Ċ Ċ import Ġorg . am sh ove . k lu ent . shouldBe True Ċ import Ġorg . am sh ove . k lu ent . tests . assert Message Ċ import Ġorg . jetbrains . spe k . api . Spe k Ċ import Ġkotlin . test . assert Fails Ċ Ċ class ĠShould Be True Tests Ġ: ĠSpe k ({ ĊĠĠĠ Ġgiven (" the ĠshouldBe True Ġmethod ") Ġ{ ĊĠĠĠĠĠĠĠ Ġon (" pass ing Ġtrue ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġit (" should Ġpass ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġtrue . shouldBe True () ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġon (" pass ing Ġfalse ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġit (" should Ġfail ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġassert Fails ({ Ġfalse . shouldBe True () Ġ}) ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġon (" fail ing ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġit (" should Ġprovide Ġa Ġdescriptive Ġmessage ") Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠĠĠĠĠ Ġassert Message (" Expected Ġvalue Ġto Ġbe Ġtrue , Ġbut Ġwas Ġfalse ") Ġ{ Ġfalse . shouldBe True () Ġ} ĊĠĠĠĠĠĠĠĠĠĠĠ Ġ} ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ }) Ċ