From 406ef632388808f75f9c0a3e18460a865eed4656 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 1 Aug 2017 13:33:24 +0200
Subject: Adds more rules and prettyprint messages for them.

---
 data/property/cnes/CNE_01900.pp | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 data/property/cnes/CNE_01900.pp

(limited to 'data/property/cnes/CNE_01900.pp')

diff --git a/data/property/cnes/CNE_01900.pp b/data/property/cnes/CNE_01900.pp
new file mode 100644
index 0000000..1813358
--- /dev/null
+++ b/data/property/cnes/CNE_01900.pp
@@ -0,0 +1,3 @@
+The signal $x_r.IDENTIFIER (declared in $x_r.FILE, line $x_r.LINE, column
+$x_r.COLUMN) is the result of another signal delayed using a flip-flop.
+CNE_01900 indicates such signals should have names ending in "_r[0-9]*".
-- 
cgit v1.2.3-70-g09d2