Skip to content

Fixed handling of DualITree with REUSE_CU_RESULTS

Fixed the handling of DualITree by REUSE_CU_RESULTS speed-up (previously the speed-up would never activate).

Results are pending. Submitting the request for review already as discussed with software coordinators.

Merge request reports