• eir@cis.upenn.edu's avatar
    Fix #11401. · 35d37ff8
    eir@cis.upenn.edu authored
    This commit teaches shortCutReduction about Derived constraints.
    
    [skip ci]
    35d37ff8
all.T 18.6 KB