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

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

diff --git a/data/property/simple_flip_flop.pp b/data/property/simple_flip_flop.pp
new file mode 100644
index 0000000..fbad237
--- /dev/null
+++ b/data/property/simple_flip_flop.pp
@@ -0,0 +1,4 @@
+The process $ps.LABEL$ (declared in $ps.FILE$, l. $ps.LINE$, c. $ps.COLUMN$)
+describes a simple flip-flop controlled by $clk.IDENTIFIER$ (declared in
+$clk.FILE$, l. $clk.LINE$, c. $clk.COLUMN$) and with output $reg.IDENTIFIER$
+(declared in $reg.FILE$, l. $reg.LINE$, c. $reg.COLUMN$).
-- 
cgit v1.2.3-70-g09d2