Closed pre-commit-ci[bot] closed 1 year ago
Merging #226 (14dc03d) into main (a74b62a) will increase coverage by
0.0%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## main #226 +/- ##
=====================================
Coverage 96.8% 96.9%
=====================================
Files 33 33
Lines 1708 1708
Branches 210 210
=====================================
+ Hits 1655 1656 +1
+ Misses 53 52 -1
Flag | Coverage Δ | |
---|---|---|
cpp | 96.9% <ø> (+<0.1%) |
:arrow_up: |
python | 96.9% <ø> (ø) |
Flags with carried forward coverage won't be shown. Click here to find out more.
Impacted Files | Coverage Δ | |
---|---|---|
src/checker/dd/DDEquivalenceChecker.cpp | 91.7% <0.0%> (+0.9%) |
:arrow_up: |
Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.
updates: