search

vtjeng / MIPVerify.jl

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

Trim Project.toml #144

Closed vtjeng closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

Merging #144 (e38ad46) into master (d322f95) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #144   +/-   ##
=======================================
  Coverage   91.42%   91.42%           
=======================================
  Files          25       25           
  Lines         816      816           
=======================================
  Hits          746      746           
  Misses         70       70