From 694d42f9ca5e6728dc1170a740264ee98bf5cbe5 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 26 Jul 2017 14:45:43 +0200
Subject: New pr

---
 data/property/likely_a_clock.pro | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 data/property/likely_a_clock.pro

diff --git a/data/property/likely_a_clock.pro b/data/property/likely_a_clock.pro
new file mode 100644
index 0000000..2aae4a4
--- /dev/null
+++ b/data/property/likely_a_clock.pro
@@ -0,0 +1,25 @@
+(tag_existing
+   (
+      (clock port LIKELY_A_CLOCK)
+   )
+   (exists wf waveform
+      (and
+         (is_waveform_of wf clock)
+         (exists ps process
+            (CTL_verifies ps
+               (EF
+                  (and
+                     (kind "if")
+                     (is_read_structure "(??)")
+                     (or
+                        (is_read_element "0" "rising_edge")
+                        (is_read_element "0" "falling_edge")
+                     )
+                     (is_read_element "1" wf)
+                  )
+               )
+            )
+         )
+      )
+   )
+)
-- 
cgit v1.2.3-70-g09d2