From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p3UC70TW027992
	for <caml-list@sympa-roc.inria.fr>; Sat, 30 Apr 2011 14:07:00 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ag4CAJn6u03RVdg2i2dsb2JhbACmEAgUAQEBCgsLBxIGIad8jSaEJ4kSAQEDBoV6BI55iBeCIzuBI4IM
X-IronPort-AV: E=Sophos;i="4.64,292,1301868000"; 
   d="scan'208";a="98393105"
Received: from mail-qw0-f54.google.com ([209.85.216.54])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Apr 2011 14:06:54 +0200
Received: by qwc9 with SMTP id 9so3616890qwc.27
        for <caml-list@inria.fr>; Sat, 30 Apr 2011 05:06:54 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:in-reply-to:references:from
         :date:x-google-sender-auth:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        bh=VzIA16A7hS9a0V7qVyLRoTdnkJzPsKJr9HUbv0E8VBs=;
        b=YxjoWKnzPuKG4nf7lnDHpPV4yFEPYKXlurKPNJp4E2jxQtb009hAfIlhEnvtNffALq
         wfS18pHc3My2rKC/J5mY81XeT4gfbrWO5z8p7vvedrCWpwgINkXAjDGqLwuQx9ne/FJh
         4STZLqlOVdPnDS9ewonZS+ylih69uwh9D8HCo=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        b=mJ0B/Xf2Zesm5DRddfhyrWaZ6urnKNKt8hFXs5CNhK+z6i//aAcqyEGoSoREp8YzAd
         Hcxy0FfRA0Y719njR1Eq3EJsgJcwplI5ldxNbK5KS7y8WinkLnt96kIXkNTB1f1MyrNt
         OhiucmI+oT3jUw46+Xuc7KEemOG9Js7Os9s4g=
Received: by 10.224.214.72 with SMTP id gz8mr4808372qab.81.1304165214049; Sat,
 30 Apr 2011 05:06:54 -0700 (PDT)
MIME-Version: 1.0
Sender: dapilki@gmail.com
Received: by 10.224.89.2 with HTTP; Sat, 30 Apr 2011 05:06:34 -0700 (PDT)
In-Reply-To: <4DBBF1D8.6020105@gmail.com>
References: <4DBBE676.8070101@univ-savoie.fr> <4DBBEF0B.2050204@univ-savoie.fr>
 <4DBBF1D8.6020105@gmail.com>
From: Alexandre Pilkiewicz <alexandre.pilkiewicz@polytechnique.org>
Date: Sat, 30 Apr 2011 14:06:34 +0200
X-Google-Sender-Auth: 8X05A1uiL_t7I6PI7BfZtSJPmTg
Message-ID: <BANLkTina=xhUAXb+N3f0EnNEhEigf9oBiA@mail.gmail.com>
To: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= <edwintorok@gmail.com>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p3UC70TW027992
Subject: Re: [Caml-list] portablility of random.mli in the stdlib

2011/4/30 Török Edwin <edwintorok@gmail.com>:
> On 04/30/2011 02:14 PM, Christophe Raffalli wrote:
>
> Why should a random generator give the same results over multiple
> versions and architectures?
> Starting from same seed is useful only for debugging.

I wrote a fuzzer once: the principle is to generate random entries for
a program, and see if it crashes. When it does, instead of printing
the entry in the log file, you just remember the seed that produced
the entry. With that, you are able to reproduce the crash easily

Cheers

Alexandre Pilkiewicz