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_02600.pp
parentd18ca72caf2004c7725b3de670c7397c5bf85eb4 (diff)
Adds more (rather simple) properties.
Diffstat (limited to 'data/property/cnes/CNE_02600.pp')
-rw-r--r--data/property/cnes/CNE_02600.pp3
1 files changed, 3 insertions, 0 deletions
diff --git a/data/property/cnes/CNE_02600.pp b/data/property/cnes/CNE_02600.pp
new file mode 100644
index 0000000..ea2d44f
--- /dev/null
+++ b/data/property/cnes/CNE_02600.pp
@@ -0,0 +1,3 @@
+The name of the signal $sl.IDENTIFIER$ (declared in $sl.FILE$,
+line $sl.LINE$, column $sl.COLUMN$) has more than 20 characters, this is not
+allowed by CNE_02600.