search

vtjeng / MIPVerify.jl

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

Update annotation for shell-session codeblock #153

Closed vtjeng closed 8 months ago

vtjeng commented 8 months ago

Also remove unused sample output from test command.

codecov[bot] commented 8 months ago

Codecov Report

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

Comparison is base (9fce85a) 91.30% compared to head (4450604) 91.30%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #153 +/- ## ======================================= Coverage 91.30% 91.30% ======================================= Files 25 25 Lines 817 817 ======================================= Hits 746 746 Misses 71 71 ```

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