package Ġde . r ki . cor on aw arn app . cor on atest . type . pc r Ċ Ċ import Ġde . r ki . cor on aw arn app . cor on atest . server . Cor ona TestResult Ċ import Ġio . kot est . matchers . shouldBe Ċ import Ġio . kot est . matchers . should Not Be Ċ import Ġorg . joda . time . Instant Ċ import Ġorg . junit . jupiter . api . Test Ċ import Ġtest helpers . Base Test Ċ Ċ class ĠP CR Cor ona Test Test Ġ: ĠBaseTest () Ġ{ ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` a Ġtest Ġis Ġfinal Ġif Ġit Ġreaches Ġthe ĠRE DE E MED Ġstate `() Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġinstance Ġ= ĠP CR Cor ona Test ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġidentifier Ġ= Ġ" identifier ", ĊĠĠĠĠĠĠĠĠĠĠĠ Ġlast UpdatedAt Ġ= ĠInstant . EPOCH , ĊĠĠĠĠĠĠĠĠĠĠĠ Ġregistered At Ġ= ĠInstant . EPOCH , ĊĠĠĠĠĠĠĠĠĠĠĠ Ġregistration Token Ġ= Ġ" token ", ĊĠĠĠĠĠĠĠĠĠĠĠ Ġtest Result Ġ= ĠCor ona TestResult . PC R _ OR _ RAT _ RE DE E MED , ĊĠĠĠĠĠĠĠ Ġ) ĊĊĠĠĠĠĠĠĠ Ġinstance . is Final ĠshouldBe Ġtrue ĊĠĠĠĠĠĠĠ Ġinstance . copy ( test Result Ġ= ĠCor ona TestResult . PC R _ POSITIVE ). is Final ĠshouldBe Ġfalse ĊĠĠĠĠĠĠĠ Ġinstance . copy ( test Result Ġ= ĠCor ona TestResult . RAT _ POSITIVE ). is Final ĠshouldBe Ġfalse ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġ` Re cyc led Ġtest Ġstate Ġis ĠRE CY C LED `() Ġ{ ĊĠĠĠĠĠĠĠ Ġval Ġinstance Ġ= ĠP CR Cor ona Test ( ĊĠĠĠĠĠĠĠĠĠĠĠ Ġidentifier Ġ= Ġ" identifier ", ĊĠĠĠĠĠĠĠĠĠĠĠ Ġlast UpdatedAt Ġ= ĠInstant . EPOCH , ĊĠĠĠĠĠĠĠĠĠĠĠ Ġregistered At Ġ= ĠInstant . EPOCH , ĊĠĠĠĠĠĠĠĠĠĠĠ Ġregistration Token Ġ= Ġ" token ", ĊĠĠĠĠĠĠĠĠĠĠĠ Ġtest Result Ġ= ĠCor ona TestResult . PC R _ OR _ RAT _ RE DE E MED , ĊĠĠĠĠĠĠĠ Ġ) ĊĊĠĠĠĠĠĠĠ Ġinstance . state Ġshould Not Be ĠP CR Cor ona Test . State . REC Y C LED ĊĊĠĠĠĠĠĠĠ Ġinstance . re cyc led At Ġ= ĠInstant . EPOCH ĊĠĠĠĠĠĠĠ Ġinstance . state ĠshouldBe ĠP CR Cor ona Test . State . REC Y C LED ĊĠĠĠ Ġ} Ċ } Ċ