From 4e38a30f78a9fbe6287b310139ecc10aef6d398f Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 26 Sep 2017 13:37:08 +0200
Subject: Adds some missing files.

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

(limited to 'data/property/flip_flop.pro')

diff --git a/data/property/flip_flop.pro b/data/property/flip_flop.pro
new file mode 100644
index 0000000..9e7989e
--- /dev/null
+++ b/data/property/flip_flop.pro
@@ -0,0 +1,19 @@
+#require "simple_flip_flop"
+#require "async_reset_flip_flop"
+
+(tag_existing
+   (
+      (reg waveform STRUCT_FLIP_FLOP_OUTPUT)
+      (clk waveform STRUCT_FLIP_FLOP_CLOCK)
+      (ps process STRUCT_FLIP_FLOP_PROCESS)
+   )
+   (and
+      (not (eq reg clk))
+;;      (is_accessed_by reg ps)
+;;      (is_accessed_by clk ps)
+      (or
+         (_simple_flip_flop reg clk ps)
+         (_async_reset_flip_flop reg clk _ ps)
+      )
+   )
+)
-- 
cgit v1.2.3-70-g09d2