@@ -11,8 +11,8 @@ import (
1111
1212func TestProperty4_CityListAddPreservesExistingAndAppends (t * testing.T ) {
1313 rapid .Check (t , func (rt * rapid.T ) {
14- // Generate a list of 1-2 cities
15- count := rapid .IntRange (1 , 2 ).Draw (rt , "cityCount" )
14+ // Generate a list of 1-4 cities
15+ count := rapid .IntRange (1 , 4 ).Draw (rt , "cityCount" )
1616 cities := make ([]CityConfig , count )
1717 for i := range cities {
1818 cities [i ] = genCityConfig (rt , "existing" + string (rune ('0' + i )))
@@ -51,8 +51,8 @@ func TestProperty4_CityListAddPreservesExistingAndAppends(t *testing.T) {
5151
5252func TestProperty5_CityListRemoveDecreasesLengthAndExcludesTarget (t * testing.T ) {
5353 rapid .Check (t , func (rt * rapid.T ) {
54- // Generate a list of 2-3 cities
55- count := rapid .IntRange (2 , 3 ).Draw (rt , "cityCount" )
54+ // Generate a list of 2-5 cities
55+ count := rapid .IntRange (2 , 5 ).Draw (rt , "cityCount" )
5656 cities := make ([]CityConfig , count )
5757 for i := range cities {
5858 cities [i ] = genCityConfig (rt , "city" + string (rune ('0' + i )))
@@ -87,8 +87,8 @@ func TestProperty5_CityListRemoveDecreasesLengthAndExcludesTarget(t *testing.T)
8787
8888func TestProperty6_CityListReorderPreservesSet (t * testing.T ) {
8989 rapid .Check (t , func (rt * rapid.T ) {
90- // Generate a list of 1-3 cities
91- count := rapid .IntRange (1 , 3 ).Draw (rt , "cityCount" )
90+ // Generate a list of 1-5 cities
91+ count := rapid .IntRange (1 , 5 ).Draw (rt , "cityCount" )
9292 cities := make ([]CityConfig , count )
9393 for i := range cities {
9494 cities [i ] = genCityConfig (rt , "city" + string (rune ('0' + i )))
0 commit comments