| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 16:52:10 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-09-19 16:52:10 +0200 |
| commit | 240a3c65df7f7f3914c3d963acbf23b80694fd5a (patch) | |
| tree | 051670d2aa95a1f12d9ac6d750f0b2b5623dc3a9 /data/property/CNE_01200.pro | |
| parent | 0b35af5ee0e660c810e22a09738ff1960745db23 (diff) | |
Fixes CNE_01200, adds CNE_01200 test.
... which somehow fails.
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_.*") + ) + ) ) ) |