From 40dbd4e5cc0a28711af6f9de4c27ce236072d3dc Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 9 Sep 2015 22:17:18 +0200
Subject: Organisation; assignment 2

---
 assignment2/hyman.q | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 assignment2/hyman.q

(limited to 'assignment2/hyman.q')

diff --git a/assignment2/hyman.q b/assignment2/hyman.q
new file mode 100644
index 0000000..0bd1a71
--- /dev/null
+++ b/assignment2/hyman.q
@@ -0,0 +1,6 @@
+//This file was generated from (Commercial) UPPAAL 4.0.14 (rev. 5615), May 2014
+
+/*
+
+*/
+E<> (p1.CriticalSection && p2.CriticalSection)
-- 
cgit v1.2.3