[splint.git] / src / Headers / randomNumbers.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
# ifndef RANDOMNUMBERS_H
# define RANDOMNUMBERS_H

/*@constant int NUM_RANDOM@*/
# define NUM_RANDOM 256

extern unsigned int g_randomNumbers[NUM_RANDOM];

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	# ifndef RANDOMNUMBERS_H
	7	# define RANDOMNUMBERS_H
	8
	9	/@constant int NUM_RANDOM@/
	10	# define NUM_RANDOM 256
	11
	12	extern unsigned int g_randomNumbers[NUM_RANDOM];
	13
	14	# else
	15	# error "Multiple include"
	16	# endif
	17
	18
	19
	20
	21
	22