search

git-afsantos / haros

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

Optional Dependency on pyflwor #43

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

This PR makes it so that HAROS can operate without errors when pyflwor is not available.