some launch files are ended with ".xml"

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

190 stars 37 forks source link

some launch files are ended with ".xml" #121

Closed tandf closed 1 year ago

tandf commented 1 year ago

For example, in mir_robot, they have a launch file called move_base.xml

To include them in the database, add .xml as one of the launch extensions, and move the match of launch files after package.xml files so that package.xml files can be correctly matched

git-afsantos commented 1 year ago

Looks good to me :+1: