Skip to content

canonical/AutoCove

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

Distributed, Multi-threaded Coverity Automaton

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages