From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA07232 for caml-redistribution; Sun, 24 May 1998 00:15:25 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA12245 for ; Fri, 22 May 1998 09:26:29 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA21909 for ; Fri, 22 May 1998 09:26:27 +0200 (MET DST) Received: from pc85.lri.fr (filliatr@pc85.lri.fr [129.175.8.105]) by lri.lri.fr (8.8.5/jtpda-5.2) with ESMTP id JAA12668 ; Fri, 22 May 1998 09:26:27 +0200 (MET DST) Received: by pc85.lri.fr (8.8.5/feuille) id JAA29258 ; Fri, 22 May 1998 09:26:44 +0200 Date: Fri, 22 May 1998 09:26:44 +0200 Message-Id: <199805220726.JAA29258@pc85.lri.fr> From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit To: Patrice AUFFRET Cc: caml-list@inria.fr Subject: Re: Nombre aléatoire. In-Reply-To: <35645902.27118F32@hol.fr> References: <35645902.27118F32@hol.fr> X-Mailer: VM 6.34 under Emacs 19.34.1 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) Sender: weis > exécuté dans le toplevel ( sous Linux ). Mais lorsque je compile le > programme, j'obtiens toujours le meme nombre. Le compilateur crée un > nombre qu'il gardera de manière permanante lors de l'exécution > ultérieure du programme. Comment faire pour qu'il change à chaque > exécution du programme compilé ? Une façon simple de faire consiste à initialiser le générateur de nombre aléatoires avec l'heure (donnée en nombre de secondes depuis le 1 janvier 1970, 00h00) Random.init (Unix.time()) -- Jean-Christophe FILLIATRE mailto:Jean-Christophe.Filliatre@lri.fr http://www.lri.fr/~filliatr