src/stdlib/rand.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#include "_stdlib.h"

/** get a pseudo-random number **/
int rand(void)
{
	return (int)_rand(__stdlib.rand);
}

/***
computes a pseudo-random number in the range [0,CONSTANT(RAND_MAX)].
***/

/*
RETURN_SUCCESS(a pseudo-random integer)
STDC(1)
*/