From 0ed3714c906e5705a14a7fe4c5ddf531a2c01e99 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Fri, 29 Apr 2016 16:34:59 +0200
Subject: [PATCH] Added test cases

Former-commit-id: c9ea2edfff5d7c1fe48dbf17da958f3eaa2dc363
---
 stormpy/tests/.gitignore                      | 1 +
 stormpy/tests/core/test_parse.py              | 7 +++++++
 stormpy/tests/expressions/test_expressions.py | 9 +++++++++
 stormpy/tests/info/test_info.py               | 8 ++++++++
 stormpy/tests/logic/test_formulas.py          | 6 ++++++
 5 files changed, 31 insertions(+)
 create mode 100644 stormpy/tests/.gitignore
 create mode 100644 stormpy/tests/core/test_parse.py
 create mode 100644 stormpy/tests/expressions/test_expressions.py
 create mode 100644 stormpy/tests/info/test_info.py
 create mode 100644 stormpy/tests/logic/test_formulas.py

diff --git a/stormpy/tests/.gitignore b/stormpy/tests/.gitignore
new file mode 100644
index 000000000..bee8a64b7
--- /dev/null
+++ b/stormpy/tests/.gitignore
@@ -0,0 +1 @@
+__pycache__
diff --git a/stormpy/tests/core/test_parse.py b/stormpy/tests/core/test_parse.py
new file mode 100644
index 000000000..64ab1db9a
--- /dev/null
+++ b/stormpy/tests/core/test_parse.py
@@ -0,0 +1,7 @@
+import stormpy
+
+class TestParse:
+    def test_parse_program(self):
+        # Fix!!!
+        #s = stormpy.parse_program("../../examples/dtmc/die/die.pm")
+        pass
diff --git a/stormpy/tests/expressions/test_expressions.py b/stormpy/tests/expressions/test_expressions.py
new file mode 100644
index 000000000..823186d62
--- /dev/null
+++ b/stormpy/tests/expressions/test_expressions.py
@@ -0,0 +1,9 @@
+import stormpy
+from stormpy.expressions import expressions
+
+class TestExpressions:
+    def test_expression_manager(self):
+        manager = expressions.ExpressionManager
+
+    def test_expression(self):
+        expression = expressions.Expression
diff --git a/stormpy/tests/info/test_info.py b/stormpy/tests/info/test_info.py
new file mode 100644
index 000000000..133ae36d2
--- /dev/null
+++ b/stormpy/tests/info/test_info.py
@@ -0,0 +1,8 @@
+import stormpy
+from stormpy.info import info
+
+class TestInfo:
+    def test_version(self):
+        s = info.Version.short()
+        s = info.Version.long()
+        s = info.Version.build_info()
diff --git a/stormpy/tests/logic/test_formulas.py b/stormpy/tests/logic/test_formulas.py
new file mode 100644
index 000000000..3d43775b1
--- /dev/null
+++ b/stormpy/tests/logic/test_formulas.py
@@ -0,0 +1,6 @@
+import stormpy
+from stormpy.logic import logic
+
+class TestFormulas:
+    def test_formula(self):
+        formula = logic.Formula