From 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Thu, 21 Sep 2017 15:26:01 +0200
Subject: Got some property dependencies to work.

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

(limited to 'data/property')

diff --git a/data/property/test.pro b/data/property/test.pro
new file mode 100644
index 0000000..9d2115c
--- /dev/null
+++ b/data/property/test.pro
@@ -0,0 +1,9 @@
+#require "simple_flip_flop"
+#require "combinational_processes"
+
+(tag_existing
+   (
+      (ps process SUSPICIOUS_PROCESS)
+   )
+   (_combinational_processes ps)
+)
-- 
cgit v1.2.3-70-g09d2