search

git-afsantos / haros

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

Merge dev-make-tests branch #80

Closed git-afsantos closed 5 years ago

git-afsantos commented 5 years ago

The implementation for the test generator is taking a different approach. Save whatever is worth it from the dev-make-tests branch.