Skip to content

Change default value of ubexcess_correct

setting ubexcess_correct to 0 by default to avoid dangerous behavior where upper bound violations are kept but the total XS is not consistent.

Merge request reports