From e3467a4bb93abec0dcacfce46cc430b8d73c05ec Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Mon, 24 Aug 2020 21:47:30 -0700
Subject: [PATCH] simulator does not crash on dtmcs

---
 lib/stormpy/simulator.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/stormpy/simulator.py b/lib/stormpy/simulator.py
index 81cc480..52dc6be 100644
--- a/lib/stormpy/simulator.py
+++ b/lib/stormpy/simulator.py
@@ -120,6 +120,8 @@ class SparseSimulator(Simulator):
             return av_actions
 
     def nr_available_actions(self):
+        if not self._model.is_nondeterministic_model:
+            return 1
         return self._model.get_nr_available_actions(self._engine.get_current_state())
 
     def _report_state(self):