sisl/NeuralVerification.jl

MaxSens resolution not working

SebastianGuadalupe opened this issue · 1 comments

When debugging for the error, it seems to me that is in the function partition(input::Hyperrectangle, Δ), printing the set before and after, the set is empty after the function is used. When using solve(MaxSens(resolution = 0), problem_mnist), the algorithm works fine, so Δ == 0 && return [input] it's doing its job and can be used as a workaround.

ARGH! I was sure length(CI) would return a BigInt (or throw an error) if the size was too big. Instead, this is again an issue with integer overflow. Trivial to fix, luckily.

Edit: keep in mind that for the example this happened for, the new behavior will be an OutOfMemoryError or something similar.