Skip to content

Optimization of assert-upper-bounded - Fixes #146

Miguel Ambrona requested to merge miguel@opt-upper-bound into master

The optimization is based on the fact that trailing zeros in the bound's bit decomposition can be ignored.

Merge request reports