MaxSens resolution not working
SebastianGuadalupe opened this issue · 1 comments
SebastianGuadalupe commented
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.
tomerarnon commented
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.