<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/105679>105679</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [llvm-cov][MC/DC] Output should list *all* "relevant" test vectors
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          Swatinem
      </td>
    </tr>
</table>

<pre>
    Right now, the output for MC/DC only shows the *executed* test vectors, it looks a bit like this (cleaned up):

```
  ------------------
  |  Executed MC/DC Test Vectors:
  |
  |     C1, C2, C3, C4    Result
  |  1 { F,  F,  -,  - = F      }
  |  2 { F,  T,  F,  F  = F      }
  |  3 { F,  T,  T,  - = T      }
  |  4 { F,  T,  F,  T  = T      }
  |
  |  C1-Pair: not covered
  |  C2-Pair: covered: (1,3)
  |  C3-Pair: covered: (2,3)
 |  C4-Pair: covered: (2,4)
  |  MC/DC Coverage for Decision: 75.00%
 ------------------
```

It would be nice to show *all* the test vectors (the "relevant" ones).
>From a developers point of view, I want to see at first glance what I am missing, so I know which test cases I have to add to my test suite to improve the outcome of MC/DC.

---

Working on https://github.com/llvm/llvm-project/pull/105511, I noticed that this might be a bit more complex to implement, as it would seem that this data is not readily available internally, as opposed to only not being displayed/exported.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyUVU1v4zYQ_TX0ZRBDoiR_HHRw7ArwoWixNdozRY0tNhRHICk5_vcFKXnXzjYBNghGtvje8HH4ZiycUxeDWLLilRWHhRh8S7b86yq8Mtgtampu5Td1aT0YujK-B98i0OD7wcOZLPy-Z7w67IGMvoFr6eoigvEdvqMcPDaM78Cj8zCi9GRdSKI8aKI3BwLq8Fm9IfhWOWB8IzUKgw0MPeNblu1YcmDJPa6S-T9-BXj56e--wtZ7gN9mDd9lnoKQv2ch99wR_MQDgH0ahO55jFmMeXj_Dd2g_RM6BbZ-hSpg5vgyRWDZAaqYDtj68ETiD6TTA7WCr1jZT6zTw1an_yfln2x1gs9ZTwn26cufQlmW7cCQB0kjWmyeIfw75L6c7cJ1hjJm4Saf0NknaP6MnsD5F-D8Y-r7Te8DVFwwuvSAUjlFJhDXxTJJGC9m1mcO-mC1KR49XGnQDdQIRkkET9H0we9C62j1Fp_sHoROHcEtahyF8YxzIIOO8e1yyltZ6kBAgyNq6tE66EkZD3SGUWHsuyNchfFxQ0QQHs7KOg8XLYxEuLbCwxFEB51yTplLoDiCI7wZusK1VbKdZEnh0MERWjFG-aJpwqO7TctuUD6-V11vKUCmfpfUYZAzl3f5WJUfNYvxH7JvylyADLTe97HPeMV4dVG-HeqlpI7xSuvx_njpLf2L0jNe9UOoYpUmRZGm07ENeSWxAR-OGIdEF-dRjfP06MgiSOp6je-zco0dhjrvQbgwbKZLc4jdQ5pGeAHKRUtbFI3SNxCjUFrUGkEZj9YIrW9zGup7chiLFYddoNUYDtoo12txC6OuwveerMdmuWjKrNlmW7HAMl3zPMuTIksWbSn4eYWpxDTBZou4EkW6TcRKpuJ8Xsm6XqiSJzxPNpynBd_k2-V5c0a5WqHcJNt16Kg8wU4ovQzFW5K9LJRzA5ZpUqzW24UWNWoXJzrnBq8QVxnnYcDbMla8Hi6O5YlWzrsfabzyOv4URIykkRUHVrzOd86KA_wxTX7XxoIG-oP1P1j8sQsWg9XlL7shCneTH8LJxpL_FwAA___RN_DA">