Close! tis-interpreter requires inputs to drive it, so we fed it inputs that the CRS generated, that AFL generated, and some existing test cases. tis-interpreter found 4 bugs and clang found 1.

> This doesn't necessarily mean CRS is bad, it may just mean that there are no bugs of the classes CRS finds in zlib.

Yes, exactly! This is why we included so much detail about coverage in the report. Basically, "stop looking for these kinds of bugs in these places, focus your efforts elsewhere in the code."