| Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 1 | CHECK: BINGO |
| 2 | |
| 3 | RUN: rm -rf %tmp/T1 %tmp/T2 |
| 4 | RUN: mkdir -p %tmp/T1 %tmp/T2 |
| 5 | RUN: echo F..... > %tmp/T1/1 |
| 6 | RUN: echo .U.... > %tmp/T1/2 |
| 7 | RUN: echo ..Z... > %tmp/T1/3 |
| 8 | |
| 9 | # T1 has 3 elements, T2 is empty. |
| 10 | RUN: LLVMFuzzer-FullCoverageSetTest -merge=1 %tmp/T1 %tmp/T2 2>&1 | FileCheck %s --check-prefix=CHECK1 |
| Kostya Serebryany | 945761b | 2016-03-18 00:23:29 +0000 | [diff] [blame] | 11 | CHECK1: === Minimizing the initial corpus of 3 units |
| 12 | CHECK1: === Merge: written 0 units |
| Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 13 | |
| 14 | RUN: echo ...Z.. > %tmp/T2/1 |
| 15 | RUN: echo ....E. > %tmp/T2/2 |
| 16 | RUN: echo .....R > %tmp/T2/3 |
| 17 | RUN: echo F..... > %tmp/T2/a |
| 18 | RUN: echo .U.... > %tmp/T2/b |
| 19 | RUN: echo ..Z... > %tmp/T2/c |
| 20 | |
| 21 | # T1 has 3 elements, T2 has 6 elements, only 3 are new. |
| 22 | RUN: LLVMFuzzer-FullCoverageSetTest -merge=1 %tmp/T1 %tmp/T2 2>&1 | FileCheck %s --check-prefix=CHECK2 |
| Kostya Serebryany | 945761b | 2016-03-18 00:23:29 +0000 | [diff] [blame] | 23 | CHECK2: === Minimizing the initial corpus of 3 units |
| 24 | CHECK2: === Merging extra 6 units |
| 25 | CHECK2: === Merge: written 3 units |
| Kostya Serebryany | 9cc3b0d | 2015-10-24 01:16:40 +0000 | [diff] [blame] | 26 | |
| 27 | # Now, T1 has 6 units and T2 has no new interesting units. |
| 28 | RUN: LLVMFuzzer-FullCoverageSetTest -merge=1 %tmp/T1 %tmp/T2 2>&1 | FileCheck %s --check-prefix=CHECK3 |
| Kostya Serebryany | 945761b | 2016-03-18 00:23:29 +0000 | [diff] [blame] | 29 | CHECK3: === Minimizing the initial corpus of 6 units |
| 30 | CHECK3: === Merge: written 0 units |