I agree, LLVM’s libfuzzer is very, very good at rapidly converging on “interesting” values. Also, with values like INT_MAX, an 0 being important values to test, I’d argue that test code should expose places where overflow can happen if you aren’t taking a Range[dtype, min, max, width] type of some sort that compute where overflow can occur.