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

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

diff --git a/data/property/likely_a_clock.pp b/data/property/likely_a_clock.pp
new file mode 100644
index 0000000..aea7af2
--- /dev/null
+++ b/data/property/likely_a_clock.pp
@@ -0,0 +1,3 @@
+The port $clock.IDENTIFIER$ (from file $clock.FILE$, line $clock.LINE$, column
+$clock.COLUMN$) is passed as parameter of either a rising_edge or a falling_edge
+function, making it likely to be a clock.
-- 
cgit v1.2.3-70-g09d2