import Ġorg . jetbrains . kotlin x . lin check .* Ċ import Ġorg . jetbrains . kotlin x . lin check . annotations .* Ċ import Ġorg . jetbrains . kotlin x . lin check . strategy . stress .* Ċ import Ġorg . jetbrains . kotlin x . lin check . verifier .* Ċ import Ġkotlin . test .* Ċ Ċ @ St ress CT est Ċ class ĠLinear iz ability Test Ġ: ĠVer ifier State () Ġ{ ĊĠĠĠ Ġprivate Ġval Ġc Ġ= ĠSolution () ĊĊĠĠĠ Ġ@ Operation ĊĠĠĠ Ġfun Ġadd ( x : ĠInt ) Ġ= Ġc . get And Add ( x ) ĊĊĠĠĠ Ġ@ Test ĊĠĠĠ Ġfun Ġtest Linear iz ability () Ġ{ ĊĠĠĠĠĠĠĠ ĠLin Checker . check ( Linear iz ability Test :: class . java ) ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġextract State (): ĠAny Ġ= Ġc . get And Add ( 0 ) Ċ }