search

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
191 stars 37 forks source link

analyse -w and -b options require the "haros_plugin_" prefix #73

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

The documentation did not mention that the plugin name must be preceded by "harosplugin", and the error message made it sound like no plugins (at all) were found instead of just this particular plugin not being found.

Originally posted by @max-krichenbauer in https://github.com/git-afsantos/haros/issues/72#issuecomment-519729404

Both analyse -w and analyse -b should not require the haros_plugin_ prefix to filter plugins. It is an implementation detail to locate plugins, not actually part of the name.