3 ms·
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
by everfree 3y ago
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.
- fwip 3y agoEgg on my face, mea culpa. I checked all the places I thought to for Rust code, and was astounded that the search didn't turn it up.