Haros Full Crashes When No Data Directory Is Given

git-afsantos / haros

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

MIT License

191 stars 37 forks source link

Closed git-afsantos closed 6 years ago

git-afsantos commented 6 years ago

args.data_dir is None, but it needs to be a string. Crashes at line 179 of haros.py, in the command_viz function. Here follows the faulty line:

if not os.path.isdir(args.data_dir):

git-afsantos commented 6 years ago

Fixed in cf4ded1de8bcdca545044737b4d2381ec12bcdda