Generating test cases by hand can be slow, tedious, and error prone. Let’s use property testing techniques to test a Base58Check encoder (that we wrote in a previous article) against an external, command line oracle that we know is correct!