From d18ca72caf2004c7725b3de670c7397c5bf85eb4 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 4 Aug 2017 12:47:30 +0200
Subject: For some reason, CNE_01700 no longer works.

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

(limited to 'data/property/incrementer.pp')

diff --git a/data/property/incrementer.pp b/data/property/incrementer.pp
new file mode 100644
index 0000000..5fe3e96
--- /dev/null
+++ b/data/property/incrementer.pp
@@ -0,0 +1,3 @@
+The waveform associated with $wf.IDENTIFIER$ (from file $wf.FILE$, line $wf.LINE$
+column $wf.COLUMN$) is incremented by the process $ps.LABEL$ (from
+$ps.FILE$, line $ps.line$, column $ps.COLUMN$).
-- 
cgit v1.2.3-70-g09d2