For the Whiley compiler, I currently have over 500 end-end tests and in excess of 15,000 unit tests (most of which were auto-generated and target the type system). Each end-end test is a short Whiley program that is categorised as either valid or invalid. Valid tests also include sample output and are expected to . . . → Read More: Not all Tests are Passing … is that so Bad?