search

vtjeng / MIPVerify.jl

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

Only display progress bars when Julia is in an interactive session #134

Closed vtjeng closed 1 year ago

vtjeng commented 1 year ago

In particular, this reduces the amount of output in tests. h/t: https://github.com/vtjeng/MIPVerify.jl/issues/129#issuecomment-1434175240