3 ms·
> If my understanding is correct, it can't "prove" any properties, only disprove them. Almost. If your generators exhaust the input space then the property is
by tome 4y ago
> If my understanding is correct, it can't "prove" any properties, only disprove them.
Almost. If your generators exhaust the input space then the property is proved.