space-ros / docs

The Space ROS documentation site.
Creative Commons Attribution 4.0 International
8 stars 11 forks source link

Add instructions on running the MC/DC checker tool #13

Closed iche033 closed 1 year ago

iche033 commented 1 year ago

Signed-off-by: Ian Chen ichen@osrfoundation.org

Added brief overview of what the MC/DC checker does and instructions on how to manually run it in your own workspace.

I also added some instructions on generating coverage data for a ROS package.