On Dec 22, 9:19 am, "Stachu 'Dozzie' K."
<d...@g...eat.some.screws.spammer.invalid> wrote:
> On 2011-12-22, Edek <e...@g...com> wrote:
>
> >> jeśli zrobiłeś test, który odpala się 1e6 razy, to masz znacznie lepszą
> >> gwarancję poprawności, niż gdybyś tylko zrobił dowód (pół)formalny.
>
> > Bzdura...
>
> Nie do końca. Jeśli napisałeś test *oraz* przeprowadziłeś dowód
> (pół)formalny, to jesteś lepiej zabezpieczony. ale AJ pewnie chciał
> zastąpić dowód testem.

A wywnioskowałeś to z konstrukcji "lepszą [...] niż gdybyś tylko
zrobił dowód"?