Bump specConstr threshold to match to 10x factor added to
CoreUnfold.sizeExpr (oops, forgot to push this patch along with the others yesterday, and this caused a few test failures overnight).
Please register or sign in to comment
CoreUnfold.sizeExpr (oops, forgot to push this patch along with the others yesterday, and this caused a few test failures overnight).