These instructions are currently deprecated

How to run a Coverity Scan

Steps

• Change your branch to the coverity_scan branch: git checkout coverity_scan
• Merge the master branch with the coverity scan branch: git merge master