https://kotlinlang.org logo
Title
r

reactormonk

07/06/2022, 9:41 AM
I'm generating with tiny types, getting
the target size requirement of 63 could not be satisfied after 630 consecutive samples
This is the type I'm generating, both fields are enum classes:
data class PollingSettings(val polling: EnumSet<AutomaticPPICPolling>, val interval: PICCPollInterval)
Reducing the number of iterations didn't help
s

sam

07/06/2022, 2:26 PM
How are you generating
r

reactormonk

07/06/2022, 4:30 PM
forAll<PollingSettings> { setting ->
            PollingSettings.bitMaskToEnum(setting.toBitMask()) == setting
        }
s

sam

07/06/2022, 5:02 PM
How many values in the EnumSet ?
r

reactormonk

07/06/2022, 5:02 PM
The enum has about 4 values
s

sam

07/06/2022, 5:02 PM
Can you make a standalone example that fails so we can write a test and fix it.
r

reactormonk

07/06/2022, 5:05 PM
r

reactormonk

07/06/2022, 5:06 PM
Works.