vtjeng / MIPVerify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming
MIT License
113 stars 31 forks source link

Provide zero.jl 100% Test Coverage #155

Closed anpere closed 10 months ago

anpere commented 10 months ago

This diff introduces unit tests for src/net_components/layers/zero.jl, and provides 100% code coverage.

https://app.codecov.io/gh/anpere/MIPVerify.jl/tree/master/src%2Fnet_components%2Flayers

image

closes #76

vtjeng commented 10 months ago

Closing and re-opening so that the CI can run...

vtjeng commented 10 months ago

FWIW, it appears that merge conflicts prevent the workflows from triggering: https://www.reddit.com/r/github/comments/15fb15j/comment/jucgbjz/

vtjeng commented 10 months ago

FYI, you can mark that this PR closes the associated issue: https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue (Something like "closes #76" in the commit description) should do

vtjeng commented 10 months ago

FYI @anpere: It looks like you were still having trouble with the merge commit so I manually took care of it for you

codecov[bot] commented 10 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (31c73f8) 91.30% compared to head (f235763) 91.68%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #155 +/- ## ========================================== + Coverage 91.30% 91.68% +0.37% ========================================== Files 25 25 Lines 817 818 +1 ========================================== + Hits 746 750 +4 + Misses 71 68 -3 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.