33 static unsigned int	seed;		/* Random seed */  variable
42 	fprintf(stderr, "Usage: %s [-y|-n|-v] [-s seed[,no]] [-m max] [-i input]\n", prog);  in usage()
46 	fprintf(stderr, "\t-s	Give a random seed (and iteration number)\n");  in usage()
100 		/* Give a seed and iteration number */  in dump_stream()
101 		fprintf(fp, " $ %s -s 0x%x,%lu\n", prog, seed, nr_iter);  in dump_stream()
113 	if (read(fd, &seed, sizeof(seed)) != sizeof(seed))  in init_random_seed()
185 			seed = (unsigned int)strtoul(optarg, &tmp, 0);  in parse_args()
191 				usage("Failed to parse seed");  in parse_args()
209 		usage("Don't use input file (-i) with random seed (-s)");  in parse_args()
211 	/* Initialize random seed */  in parse_args()
213 		if (!set_seed)	/* No seed is given */  in parse_args()
215 		srand(seed);  in parse_args()
256 		"%s: %s: decoded and checked %d %s instructions with %d errors (seed:0x%x)\n",  in main()
262 		seed);  in main()