From 7ea998e3ba942dcecf8a26b4ebf8c58711999bc9 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Wed, 4 Jul 2018 12:35:06 +0200
Subject: Add properties and simple program with stormpy bindings

---
 Assignment2/src/die.properties | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Assignment2/src/die.properties

(limited to 'Assignment2/src/die.properties')

diff --git a/Assignment2/src/die.properties b/Assignment2/src/die.properties
new file mode 100644
index 0000000..c53d02c
--- /dev/null
+++ b/Assignment2/src/die.properties
@@ -0,0 +1 @@
+P=? [F s=7 & d=2]
-- 
cgit v1.2.3