core.typed

Fix constraint generation with intersections

Details

  • Type: Defect Defect
  • Status: Closed Closed
  • Priority: Major Major
  • Resolution: Completed
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

Description

Unit tests involving intersections often randomly fail. I think we need to carefully reconsider the constraint resolution algorithm cases for intersections, in particular we need to be more consistent about which combinations of intersection members we use in the final cset.

Activity

Hide
Ambrose Bonnaire-Sergeant added a comment -

Intersections are now ordered.

Show
Ambrose Bonnaire-Sergeant added a comment - Intersections are now ordered.

People

Vote (0)
Watch (0)

Dates

  • Created:
    Updated:
    Resolved: