From 2ab55a3b304d21c4801a4d46b661583aea53e778 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 19 Jul 2018 17:00:09 +0200 Subject: [PATCH] Fixed number in doc test --- doc/source/doc/reward_models.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/source/doc/reward_models.rst b/doc/source/doc/reward_models.rst index 8f12b20..8f53743 100644 --- a/doc/source/doc/reward_models.rst +++ b/doc/source/doc/reward_models.rst @@ -29,7 +29,7 @@ We can do model checking analogous to probabilities:: >>> initial_state = model.initial_states[0] >>> result = stormpy.model_checking(model, properties[0]) >>> print("Result: {}".format(result.at(initial_state))) - Result: 3.6666666666666665 + Result: 3.666666666666667 The reward model has a name which we can obtain as follows::