search

git-afsantos / haros

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

AssertionError when parsing CMakeLists.txt #61

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

A user reported an AssertionError being raised when parsing one of their CMakeLists.txt. Turns out the error was raised when parsing the following line:

include_directories()

The assertion expected this command to have one or more arguments, which is also what the documentation states. So, while I do not think this is really a bug, but rather a malformed CMake file, I am going to turn the assertion into a warning.

git-afsantos commented 5 years ago

This has been fixed in 27b622b415f5c0d5849dacdc76fe4101138ecd9c.