I did not say it is. I just said the Python code the parent commenter posted was just like Spock, but for Python. Also: tests like that can be provably compreh

I did not say it is. I just said the Python code the parent commenter posted was just like Spock, but for Python. Also: tests like that can be provably comprehensive in the cases they handle (which can be generated, you don't need to manually list them all), but that was not my point.