package Ġarrow . validation . ref ined Types . numeric Ċ Ċ import Ġarrow . core . extensions . order Ċ import Ġarrow . test . Unit Spec Ċ import Ġarrow . validation . ref ined Types . numeric . validated . less Equal . less Equal Ċ import Ġio . kot lint est . K Test JUnit Runner Ċ import Ġio . kot lint est . properties . Gen Ċ import Ġio . kot lint est . properties . filter Ċ import Ġio . kot lint est . properties . for All Ċ import Ġorg . junit . runner . RunWith Ċ Ċ @ RunWith ( K Test JUnit Runner :: class ) Ċ class ĠLess Equal Test Ġ: ĠUnit Spec () Ġ{ ĊĠ Ġinit Ġ{ ĊĊĠĠĠ Ġval Ġmax Ġ= Ġ 1 0 0 ĊĊĠĠĠ Ġ" Can Ġcreate ĠLess Equal Ġfor Ġevery Ġnumber Ġless Ġor Ġequal Ġthan Ġmin Ġdefined Ġby Ġinstance " Ġ{ ĊĠĠĠĠĠ Ġfor All ( Less Equal Gen ( max )) Ġ{ Ġx : ĠInt Ġ-> ĊĠĠĠĠĠĠĠ Ġx . less Equal ( Int . order (), Ġmax ). isValid ĊĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġ" Can Ġnot Ġcreate ĠLess Equal Ġfor Ġany Ġnumber Ġgreater Ġthan Ġmin Ġdefined Ġby Ġinstance " Ġ{ ĊĠĠĠĠĠ Ġfor All ( Greater Test . Greater Gen ( max )) Ġ{ Ġx : ĠInt Ġ-> ĊĠĠĠĠĠĠĠ Ġx . less Equal ( Int . order (), Ġmax ). is Invalid ĊĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} ĊĊĠ Ġ} ĊĊĠ Ġclass ĠLess Equal Gen ( private Ġval Ġmax : ĠInt ) Ġ: ĠGen < Int > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġgenerate (): ĠInt Ġ= ĠGen . int (). filter Ġ{ Ġit Ġ<= Ġmax Ġ}. generate () ĊĠ Ġ} Ċ }