Date: Fri, 22 May 1998 09:26:44 +0200
Message-Id: <199805220726.JAA29258@pc85.lri.fr>
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
To: Patrice AUFFRET <patrice.auffret@hol.fr>
Subject: Re: Nombre aléatoire.
In-Reply-To: <35645902.27118F32@hol.fr>
> 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
This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:14 MET