| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/property/CNE_01200.pro')
| -rw-r--r-- | data/property/CNE_01200.pro | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/data/property/CNE_01200.pro b/data/property/CNE_01200.pro index 6649103..b738cf8 100644 --- a/data/property/CNE_01200.pro +++ b/data/property/CNE_01200.pro @@ -2,8 +2,13 @@ ( (ps process CNE_01200_BAD_NAME) ) - (implies + (and (is_explicit_process ps) - (string_matches [label ps] "P_.*") + (not + (and + (has_label ps) + (string_matches [label ps] "^P_.*") + ) + ) ) ) |