Fixed minor issues (potential out-of-bounds indexing, deprecation warnings)

git-afsantos / haros

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

MIT License

190 stars 37 forks source link

Closed max-krichenbauer closed 4 years ago

max-krichenbauer commented 4 years ago

Sorry for the bother, but found some potential annoyances during debugging.

git-afsantos commented 4 years ago

Thanks for the PR!