André Martins
01/24/2023, 5:08 PMEmil Kantis
01/24/2023, 5:09 PMEmil Kantis
01/25/2023, 10:08 AMArb.bind(
<http://Arb.int|Arb.int>(),
Arb.string(codepoints = Codepoint.alphanumeric()),
::Student
)
Emil Kantis
01/25/2023, 10:09 AMArb.data<Student>(providedArbs = mapOf(String::class to Codepoint.alphanumeric()))
Emil Kantis
01/25/2023, 10:09 AMAndré Martins
01/25/2023, 10:14 AMDavio
01/25/2023, 10:14 AMAndré Martins
01/25/2023, 10:15 AMarbitrary
blockDavio
01/25/2023, 10:23 AMval studentArb = arbitrary {
val student = Arb.data<Student>().bind()
student.copy(name = Arb.string(codepoints = Codepoint.alphanumeric()).bind())
}
Davio
01/25/2023, 10:24 AMDavio
01/25/2023, 10:25 AMDavio
01/25/2023, 10:26 AMEmil Kantis
01/25/2023, 10:26 AMAndré Martins
01/25/2023, 10:32 AMDavio
01/25/2023, 10:35 AMEmil Kantis
01/25/2023, 9:57 PMEmil Kantis
01/25/2023, 10:15 PM