package Ġnl . f ifth post ulate . spec ifik ation . algebra Ċ Ċ import Ġnl . f ifth post ulate . spec ifik ation .* Ċ import Ġnl . f ifth post ulate . spec ifik ation . assertions . Report Assert . Companion . assertThat Ċ import Ġorg . junit . jupiter . api .* Ċ Ċ class ĠNot Test Ġ{ ĊĠĠĠ Ġlateinit Ġvar Ġsubject : ĠPerson ĊĊĠĠĠ Ġ@ BeforeEach ĊĠĠĠ Ġfun Ġ` create Ġsubject Ġunder Ġtest `() Ġ{ ĊĠĠĠĠĠĠĠ Ġsubject Ġ= ĠPerson (" test ") ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` should Ġinvert Ġreport Ġfor Ġsuccess Ġinto Ġfailure `() Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġspecification : ĠSpecification < Person , ĠString > Ġ= ĠNot ( Suc ceed ()) ĊĊĠĠĠĠĠĠĠ Ġval Ġreport Ġ= Ġspecification . is Met By ( subject ) ĊĊĠĠĠĠĠĠĠ ĠassertThat ( report ). is Failure () ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` should Ġinvert Ġreport Ġfor Ġfailure Ġinto Ġsuccess `() Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġspecification : ĠSpecification < Person , ĠString > Ġ= ĠNot ( Fail (" first ")) ĊĊĠĠĠĠĠĠĠ Ġval Ġreport Ġ= Ġspecification . is Met By ( subject ) ĊĊĠĠĠĠĠĠĠ ĠassertThat ( report ). is Success () ĊĠĠĠ Ġ} Ċ } Ċ