git-afsantos / haros

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

Duplicate find_workspace #45

Closed git-afsantos closed 4 years ago

git-afsantos commented 5 years ago

There are two functions that define find_workspace, one in extractor.py and the other in data.py. After a recent PR, they now even differ slightly in behaviour. This should be fixed, so that there is only one implementation.

git-afsantos commented 4 years ago

Fixed in #88.