search

lsils / mockturtle

C++ logic network library
MIT License
210 stars 139 forks source link

CodeQL Integration. #537

Closed hriener closed 2 years ago

hriener commented 2 years ago

This PR integrates the semantic code analysis engine, CodeQL, into mockturtle.

An example query has been implemented to demonstrate its use. The example query automatically detects when a mockturtle header is included with a system include path (instead of a relative path) and annotates the line in the corresponding PR with a warning.

codecov-commenter commented 2 years ago

Codecov Report

Merging #537 (820722a) into master (37324e6) will increase coverage by 0.01%. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #537      +/-   ##
==========================================
+ Coverage   82.60%   82.61%   +0.01%     
==========================================
  Files         146      146              
  Lines       18099    18099              
==========================================
+ Hits        14950    14953       +3     
+ Misses       3149     3146       -3
Impacted Files Coverage Δ
...nclude/mockturtle/algorithms/dsd_decomposition.hpp 91.54% <0.00%> (+4.22%) :arrow_up:

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 37324e6...820722a. Read the comment docs.