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

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

diff --git a/data/property/cnes/STD_04800.pp b/data/property/cnes/STD_04800.pp
new file mode 100644
index 0000000..deb0baf
--- /dev/null
+++ b/data/property/cnes/STD_04800.pp
@@ -0,0 +1,3 @@
+The signal $wfm.IDENTIFIER (declared in $wfm.FILE, line $wfm.LINE, column
+$wfm.COLUMN) is tested with both the rising_edge and the falling_edge functions.
+This goes against STD_04800.
-- 
cgit v1.2.3-70-g09d2