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