3 ms·
Spock is not a system for formal (ie. exhaustive) verification.
by jleahy 4y ago
Spock is not a system for formal (ie. exhaustive) verification.
- brabel 4y agoI 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.