pub(crate) const MAX_AUTO_REPEAT: usize = 8;Expand description
Caps how many times a loop body is unrolled during path enumeration; loop-heavy functions (e.g. UTF-16 decoders) scale super-linearly with it. Lower it to speed up verification at the cost of loop sensitivity (bugs that only manifest after more iterations can be missed).