What are you saying? There's a "test-cases" folder in the "prover" folder you linked to a search of.

Not sure why it doesn't show up in GitHub's search, but it's right there in front of both of our faces.