From 240a3c65df7f7f3914c3d963acbf23b80694fd5a Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 19 Sep 2017 16:52:10 +0200 Subject: Fixes CNE_01200, adds CNE_01200 test. ... which somehow fails. --- data/property/CNE_01200.pro | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'data/property/CNE_01200.pro') 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_.*") + ) + ) ) ) -- cgit v1.2.3-70-g09d2