From d1d9293f2654e297654f67b5bb0ba43fad7448d7 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 17 Aug 2017 12:54:19 +0200
Subject: Adds CNE_04500.

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

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

diff --git a/data/property/cnes/CNE_04500.pp b/data/property/cnes/CNE_04500.pp
new file mode 100644
index 0000000..0a2ec8e
--- /dev/null
+++ b/data/property/cnes/CNE_04500.pp
@@ -0,0 +1,6 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, line $ps.LINE$, column
+$ps.COLUMN$) assigns values to a both reset-initialized waveform,
+$i_wfm.IDENTIFIER$ (declared in $i_wfm.FILE$, line $i_wfm.LINE$, column
+$i_wfm.COLUMN$), and waveform not reset-initialized  $ni_wfm.IDENTIFIER$
+(declared in $ni_wfm.FILE$, line $ni_wfm.LINE$, column $ni_wfm.COLUMN$), and
+waveform not reset-initialized. This goes against CNE_04500.
-- 
cgit v1.2.3-70-g09d2