Coverage

MUST

• Level 1
• Level 2
• Level 4
• COBE
• COBE-correct
• COBE-error
• MUST-testsuite

New Tests

• Level 1
• Level 2
• Level 4

clang-tidy

• Level 1
• Level 2
• Level 4
• COBE
• COBE-correct
• COBE-error

New Tests

• Level 1
• Level 2
• Level 4

PARCOACH

• Level 1
• Level 2
• Level 4
• COBE
• COBE-correct
• COBE-error

New Tests

• Level 1
• Level 2
• Level 4