On Dec 22, 10:47 am, Edek <e...@g...com> wrote:
> On 12/22/2011 11:15 AM, Andrzej Jarzabek wrote:
> > On Dec 22, 8:47 am, Edek<e...@g...com>  wrote:
> >> On 12/22/2011 01:09 AM, Andrzej Jarzabek wrote:
>
> >>> No więc jeśli wiesz, że błędna implementacja wysypie się raz na 1e4, to
> >>> 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...
> > Bzdura, że bzdura.
> Heh, powiedz dlaczego...

Nie pofatygowałeś się, żeby to zrobić ze swojej strony, to ja tez nei
czuję się w obowiązku.