- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for SetEqual (0.09 sec)
-
src/cmd/compile/internal/ssa/prove.go
ok = order.SetOrder(v, w) case gt: ok = order.SetOrder(w, v) case lt | eq: ok = order.SetOrderOrEqual(v, w) case gt | eq: ok = order.SetOrderOrEqual(w, v) case eq: ok = order.SetEqual(v, w) case lt | gt: ok = order.SetNonEqual(v, w) default: panic("unknown relation") } if !ok { if parent.Func.pass.debug > 2 { parent.Func.Warnl(parent.Pos, "unsat %s %s %s", v, w, r)
Registered: Wed Jun 12 16:32:35 UTC 2024 - Last Modified: Mon Mar 04 17:30:21 UTC 2024 - 48.9K bytes - Viewed (0)