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_01800.pp | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 data/property/cnes/CNE_01800.pp

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

diff --git a/data/property/cnes/CNE_01800.pp b/data/property/cnes/CNE_01800.pp
new file mode 100644
index 0000000..0631fe6
--- /dev/null
+++ b/data/property/cnes/CNE_01800.pp
@@ -0,0 +1,3 @@
+The signal $x_fe.IDENTIFIER (declared in $x_fe.FILE, line $x_fe.LINE, column
+$x_fe.COLUMN) is made to indicate the falling edge of another signal. CNE_01800
+indicates such signals should have names ending in "_fe".
-- 
cgit v1.2.3-70-g09d2