From bf32cbb94b7da1f3adfdcf4b917ca0e6b2e43113 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 27 May 2020 18:08:38 +0200
Subject: [PATCH] Return json encoding of state valuations in simulator after
changes in Storm
---
lib/stormpy/simulator.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/lib/stormpy/simulator.py b/lib/stormpy/simulator.py
index 716db2a..f154673 100644
--- a/lib/stormpy/simulator.py
+++ b/lib/stormpy/simulator.py
@@ -96,7 +96,7 @@ class SparseSimulator(Simulator):
if self._observation_mode == SimulatorObservationMode.STATE_LEVEL:
return self._engine.get_current_state()
elif self._observation_mode == SimulatorObservationMode.PROGRAM_LEVEL:
- return self._state_valuations.get_state(self._engine.get_current_state())
+ return self._state_valuations.get_json(self._engine.get_current_state())
assert False, "The observation mode is unexpected"
def _report_observation(self):