| Name | Description | Size | Coverage |
|---|---|---|---|
| creation.txt | 116 | - | |
| idproperty.txt | 95 | - | |
| localproperty.txt | 49 | - | |
| objectproperty.txt | 88 | - | |
| repeat.sh | 245 | - | |
| repeated.branch.in.txt | 162 | - | |
| repeated.branch.out.txt | 16282 | - | |
| repeated.multiple.in.txt | 107 | - | |
| repeated.multiple.out.txt | 10782 | - | |
| repeated.plain.in.txt | 36 | - | |
| repeated.plain.out.txt | 3682 | - |