Very cool, but 500 lines of tests is hardly sufficient. How did you verify that all branches work as expected? What resources did you use to come up with them

Very cool, but 500 lines of tests is hardly sufficient. How did you verify that all branches work as expected? What resources did you use to come up with them in the first place?