search

git-afsantos / haros

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

--ws option does not override setting for compile_commands.json #36

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

Setting the workspace with --ws for the parse command overrides the workspace location. However, if there is a settings file in .haros, it will use the options under cpp to locate the compile_commands.json, instead of appending build to the given workspace.

The code section responsible for this starts at: https://github.com/git-afsantos/haros/blob/3ae5d2967305588debc77f29fc7287230d51ff77/haros/extractor.py#L230