Skip to content

Add tests for reflected & normal tables produce equivalent CRCs#4

Merged
damaki merged 2 commits into
mainfrom
topic/add-reflection-tests
Jun 22, 2025
Merged

Add tests for reflected & normal tables produce equivalent CRCs#4
damaki merged 2 commits into
mainfrom
topic/add-reflection-tests

Conversation

@damaki
Copy link
Copy Markdown
Owner

@damaki damaki commented Jun 22, 2025

These tests check that the same CRC is output for two CRC algorithms that have identical parameters except one uses a reflected table/polynomial and the other does not. These tests cover some paths and subprograms that were not previously covered by other tests, bringing the total MC/DC code coverage up to 100%.

These tests identified a defect in the logic for determining when the final CRC needs to be bit-reversed, which is also fixed.

damaki added 2 commits June 22, 2025 17:14
The logic to determine whether the CRC needed to be bit-reversed was
only correct when Reflect_Output = CRC_Table_Reflected, but there
were other situations when it was also needed. This defect was
highlighted by the recently added tests that check such conditions.
@damaki damaki self-assigned this Jun 22, 2025
@damaki damaki added bug Something isn't working verification Improvements or additions to the verification suite labels Jun 22, 2025
@damaki damaki merged commit 970dc56 into main Jun 22, 2025
5 checks passed
@damaki damaki deleted the topic/add-reflection-tests branch June 22, 2025 16:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working verification Improvements or additions to the verification suite

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant