law glob_star_no_slash

bend-osdev-apparmor@0.1.0.0 · LAWS.bend:251

import Base
import bend-osdev-apparmor@0.1.0.0/text.bend as X
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

251law glob_star_no_slash:
252  {G.AaGlob.match_text(X.AaText.of_string("/tmp/*"), X.AaText.of_string("/tmp/x/y")) == False{} : Bool}