search

git-afsantos / haros

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

Code cleanup #88

Closed max-krichenbauer closed 5 years ago

max-krichenbauer commented 5 years ago

Cleaned up the source code a little bit. Please see the individual commits for the reasoning behind each one.

git-afsantos commented 5 years ago

Thanks for the PR! One of the commits also fixes #45.