Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 294 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 294 Bytes

AutoCove

Distributed, Multi-threaded Coverity Automaton

Notes

Make sure to have your ROS source statement in .profile and not in .bashrc, for example: [.profile] source /opt/ros/melodic/setup.bash

Disambiguation

AutoCove is not in any way associated with Coverity product from Synopsys