agroce opened this issue 4 years ago · 1 comments
See #379 -- solved there, needs to use a similar solution, also we need to check for possible integer UB issues elsewhere, since we generate arbitrary inputs a lot. Probably InRanges are main culprits though.
Fixed (by refining API, really) in #380