1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
/*
* Copyright (c) 2009 Baptiste Coudurier <baptiste.coudurier@gmail.com>
*
* This file is part of FFmpeg.
*
* FFmpeg is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License as published by the Free Software Foundation; either
* version 2.1 of the License, or (at your option) any later version.
*
* FFmpeg is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with FFmpeg; if not, write to the Free Software
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
*/
#define TEST 1
#include "libavutil/random_seed.c"
#undef printf
#define N 256
#define F 2
#include <stdio.h>
typedef uint32_t (*random_seed_ptr_t)(void);
int main(void)
{
int i, j, rsf, retry;
uint32_t seeds[N];
random_seed_ptr_t random_seed[F] = {av_get_random_seed, get_generic_seed};
for (rsf=0; rsf<F; ++rsf){
for (retry=0; retry<3; retry++){
for (i=0; i<N; i++){
seeds[i] = random_seed[rsf]();
for (j=0; j<i; j++)
if (seeds[j] == seeds[i])
goto retry;
}
printf("seeds OK\n");
break;
retry:;
}
if (retry >= 3) {
printf("rsf %d: FAIL at %d with %"PRIX32"\n", rsf, j, seeds[j]);
return 1;
}
}
return 0;
}
|
