law no_proxy_respects_labels

bend-kube-runtime@0.2.0.0 · LAWS.bend:274

import Base
import bend-kube-runtime@0.2.0.0/src/proxy.bend as P

274# "corp" bypasses corp and its subdomains, never a name that merely ends
275# in the same letters.
276law no_proxy_respects_labels:
277  {P.Proxy.route("http://proxy:3128", "corp", "evilcorp", 443)
278    == P.Via{P.Proxy{"proxy", 3128, ""}} : P.Route}