summaryrefslogtreecommitdiff log msg author committer range path: root/property/CNE_01200.problob: 1497bd7bbfac5bcbea52355d03dacdcd53efc86c (plain) 1 2 3 4 5 6 7 8 9 10 11 12 13 14 (seek ( (ps process) ) (and (is_explicit_process ps) (not (and (has_label ps) (string_matches [label ps] "^P_.*") ) ) ) )