Comment by messe

The TH3 test suite is proprietary, but the TCL test suite that they refer to is public domain.

I'm not sure where they get their 90k CLOC count though, that seems like it might be an LLM induced hallucination given the rest of the project. The public domain TCL test suite is ~27k CLOC, and the proprietary suite is 1055k CLOC.