Skip to content

Update documentation on the MC/DC checker#42

Merged
EzraBrooks merged 1 commit intospace-ros:rollingfrom
thomaswucher:patch-1
Oct 8, 2025
Merged

Update documentation on the MC/DC checker#42
EzraBrooks merged 1 commit intospace-ros:rollingfrom
thomaswucher:patch-1

Conversation

@thomaswucher
Copy link
Copy Markdown
Contributor

A new version of the MC/DC checker has been released which makes patching unnecessary.

Should you encounter any future issues with the MC/DC checker, you are very welcome to open issues or send pull requests at https://gitlab.com/gtd-gmbh/mcdc-checker/mcdc-checker instead of carrying custom patches.

A new version of the MCDC checker has been released which makes patching unnecessary.
@Bckempa
Copy link
Copy Markdown
Member

Bckempa commented Jan 23, 2025

Thanks for the update, @thomaswucher! We're discussing how the bump in LLVM/Clang version requirement impacts our usage in our technical meeting

@EzraBrooks
Copy link
Copy Markdown
Contributor

My only concern, as someone who hasn't used this tool, is that Clang 19 is pretty new - it's not in an Ubuntu LTS yet, right?

@thomaswucher
Copy link
Copy Markdown
Contributor Author

Previously the MCDC checker docker image shipped with a patched Clang and the SpaceROS documentation recommended to apply a custom patch to the MCDC checker itself within the container. The need for both patches is gone, but they are completely independent of each other. To the end user it doesn't really matter what version of Clang ships in the MCDC checker container. The important part for the user is that the custom patch for SpaceROS compatibility isn't needed anymore, making the tool much easier to use, by just using the docker image as provided.

Copy link
Copy Markdown
Contributor

@EzraBrooks EzraBrooks left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Sorry for letting this sit for so long. I haven't had much resources to contribute to the project again until recently.

@EzraBrooks EzraBrooks merged commit b578ab8 into space-ros:rolling Oct 8, 2025
@EzraBrooks EzraBrooks added this to the jazzy-2025.10.0 milestone Oct 16, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants