summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-13 13:02:37 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-13 13:02:37 +0200
commitd798d3d9a0ecf50ceba0d55645bc7ff626ed72e9 (patch)
treed36d01d83c82f68d78c60b13b8ef4a500e71248f /data/property/cnes/CNE_01400.pro
parentd18ca72caf2004c7725b3de670c7397c5bf85eb4 (diff)
Adds more (rather simple) properties.
Diffstat (limited to 'data/property/cnes/CNE_01400.pro')
-rw-r--r--data/property/cnes/CNE_01400.pro8
1 files changed, 8 insertions, 0 deletions
diff --git a/data/property/cnes/CNE_01400.pro b/data/property/cnes/CNE_01400.pro
new file mode 100644
index 0000000..412650e
--- /dev/null
+++ b/data/property/cnes/CNE_01400.pro
@@ -0,0 +1,8 @@
+(tag_existing
+ (
+ (gc generic CNE_01400_BAD_NAME)
+ )
+ (not
+ (string_matches [identifier gc] "g_.*")
+ )
+)