/* rand.c
*/
#include <testfwk.h>
#ifdef __SDCC
#pragma std_c99
#endif
#include <stdlib.h>
void testRand(void)
{
/* The default seed is 1 */
int r = rand();
srand(1);
#ifndef __OpenBSD__ /* OpenBSD intentionally does not follow the C standard for rand() */
ASSERT(r == rand());
#endif
}