law glob_star_not_empty_segment

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

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

245law glob_star_not_empty_segment:
246  {G.AaGlob.match_text(X.AaText.of_string("/tmp/*"), X.AaText.of_string("/tmp/")) == False{} : Bool}