3 ms·
You can't simply run code for all possible inputs.
by def- 11y ago
You can't simply run code for all possible inputs.
- analognoise 11y agoNo, but you can certainly exercise it well. It might be a degree of confidence measure. Combined with property verification (so, formal verification), you'd get a damn good idea they'd be close.