From 0b6dd8c0d888835fa3a215d1e83037bb6c0120b0 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 25 Apr 2018 17:01:36 +0200 Subject: [PATCH] Fix sphinx warning in comment --- lib/stormpy/__init__.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index 91da0a8..8a47e13 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -147,8 +147,7 @@ def model_checking(model, property, only_initial_states=False, extract_scheduler Perform model checking on model for property. :param model: Model. :param property: Property to check for. - :param only_initial_states: If True, only results for initial states are computed. - If False, results for all states are computed. + :param only_initial_states: If True, only results for initial states are computed, otherwise for all states. :param extract_scheduler: If True, try to extract a scheduler :return: Model checking result. :rtype: CheckResult