Skip to content
Back to pull request #117589

Make sure that predicates with unmentioned bound vars are still considered global in the old solver #105960

Sign in to view logs

Make sure that predicates with unmentioned bound vars are still considered global in the old solver

Make sure that predicates with unmentioned bound vars are still considered global in the old solver #105960

The logs for this run have expired and are no longer available.