In Quinoa code correctness is verified and quantified using multiple levels of testing. Code coverage, the percentage of lines of code tested compared to all the code, is quantified using two independent tools: and gcov. Here are various code coverage analysis reports, produced by gcov, for building in Release and Debug mode. Also listed are static analysis reports, produced by cppcheck and sonarqube. The coverage and static analysis reports are automatically updated whenever the master or the develop branches are updated.