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):