package Ġcom . sk sam uel . kot est . property Ċ Ċ import Ġio . kot est . core . spec . style . Fun Spec Ċ import Ġio . kot est . matchers . shouldBe Ċ import Ġio . kot est . property . Ar b Ċ import Ġio . kot est . property . Property Testing Ċ import Ġio . kot est . property . Property Testing . compute Default Iteration Ċ import Ġio . kot est . property . ar bitrary . string Ċ import Ġio . kot est . property . exhaustive . exhaustive Ċ Ċ class ĠConfig Test Ġ: ĠFun Spec ({ ĊĊĠĠ Ġtest (" Calculate Ġdefault Ġiterations Ġar b ") Ġ{ ĊĠĠĠĠĠ Ġcompute Default Iteration ( Ar b . string ()) ĠshouldBe ĠProperty Testing . default Iteration Count ĊĠĠ Ġ} ĊĊĠĠ Ġtest (" Calculate Ġdefault Ġiterations Ġex haustive ") Ġ{ ĊĠĠĠĠĠ Ġcompute Default Iteration ( big Ex haustive ) ĠshouldBe Ġ 1 0 _ 0 0 0 ĊĠĠĠĠĠ Ġcompute Default Iteration ( medium Ex haustive ) ĠshouldBe Ġ 5 _ 0 0 0 ĊĠĠĠĠĠ Ġcompute Default Iteration ( big Ex haustive , Ġmedium Ex haustive , ĠA rb . string ()) ĠshouldBe Ġ 1 0 _ 0 0 0 ĊĠĠ Ġ} Ċ }) Ċ Ċ private Ġval Ġbig Ex haustive Ġ= Ġex haustive ( List ( 1 0 _ 0 0 0 ) Ġ{ Ġit Ġ}) Ċ private Ġval Ġmedium Ex haustive Ġ= Ġex haustive ( List ( 5 _ 0 0 0 ) Ġ{ Ġit Ġ}) Ċ