Closed ohbarye closed 6 months ago
This adds some arbitraries to generate char, string with specific character(s).
Pbt.char
Pbt.printable_ascii_(char|string)
Pbt.printable_(char|string)
Pbt.ascii_(char|string)
Pbt.alphanumeric_(char|string)
Maybe those arbitraries can be tidied up as MapArbitrary. Will try the next step.
MapArbitrary
Change
This adds some arbitraries to generate char, string with specific character(s).
Pbt.char
Pbt.printable_ascii_(char|string)
Pbt.printable_(char|string)
Pbt.ascii_(char|string)
Pbt.alphanumeric_(char|string)