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