Recent expansions to the solver have introduced regressions when the sizes didn't properly line up with implicit assumptions. We'll use this ticket to track their repairs, then close the ticket only when we have test cases that randomize sizes as well as contents.
Recent expansions to the solver have introduced regressions when the sizes didn't properly line up with implicit assumptions. We'll use this ticket to track their repairs, then close the ticket only when we have test cases that randomize sizes as well as contents.