From 80f044cc49fe4856187728080c47936168392493 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Tue, 26 May 2020 16:20:52 -0700
Subject: [PATCH] dft tests should be disabled if no dft support is given

---
 tests/dft/test_io.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/dft/test_io.py b/tests/dft/test_io.py
index 33a8149..214209b 100644
--- a/tests/dft/test_io.py
+++ b/tests/dft/test_io.py
@@ -36,7 +36,7 @@ class TestDftLoad:
         assert dft.nr_dynamic() == 1
         assert not dft.can_have_nondeterminism()
 
-
+@dft
 class TestDftExport:
     def test_export_dft_json_string(self):
         dft = stormpy.dft.load_dft_galileo_file(get_example_path("dft", "hecs.dft"))