Re: Nombre aléatoire.

From: Jean-Christophe Filliatre (Jean-Christophe.Filliatre@lri.fr)
Date: Fri May 22 1998 - 09:26:44 MET DST


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