Refining the Tests

Order of failures:
Property tests are probabilistic. We may find different issues, or the same issues in a different order, than those in this text. This is normal, and rerunning the property a few times may yield different errors each time.
The first error in this section can’t be reproduced easily in Elixir, where the string() generator is not exported by PropCheck. Instead, utf8() is used. However, utf8() more frequently returns well-formed Unicode data that doesn’t cause the failure.

Code

Let’s start off with the code and make fixes to it as we go through the lesson.

Note: To run an updated version of the code, press run, and then call mix test in the terminal that opens.