We often do this sort of things in the tests:

• check the number of violations
• check the constraint types
• check the property paths

This is not ideal because:

• the first check usually provides useless information: the numbers don't match but you don't know why
• the last 2 checks should be tested at the same time as we could have a mix-up in constraint type-property path and not realize it