A Gen generated by StringsDSL.basicMultilingualPlaneAlphabet() or StringsDSL.allPossible() generate Strings with isolated (Unicode surrogates). I see that the code relies on Character.isDefined() to filter possible values. Apparently it assumes isolated surrogates are defined characters, but that assumption leads to errors once the String is decoded and encoded somewhere.
A Gen generated by StringsDSL.basicMultilingualPlaneAlphabet() or StringsDSL.allPossible() generate Strings with isolated (Unicode surrogates). I see that the code relies on Character.isDefined() to filter possible values. Apparently it assumes isolated surrogates are defined characters, but that assumption leads to errors once the String is decoded and encoded somewhere.