law glob_star2_not_dir_itself

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

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

254law glob_star2_not_dir_itself:
255  {G.AaGlob.match_text(X.AaText.of_string("/tmp/**"), X.AaText.of_string("/tmp/")) == False{} : Bool}