From 7015a4c0125163a8b91e52420bfaf3fc02032e93 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Mon, 8 Jun 2020 15:55:16 +0200 Subject: [PATCH] Default parameters for BuilderOptions --- src/core/core.cpp | 2 +- tests/storage/test_model.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/core.cpp b/src/core/core.cpp index a4aba93..1f94cbf 100644 --- a/src/core/core.cpp +++ b/src/core/core.cpp @@ -113,7 +113,7 @@ void define_build(py::module& m) { py::class_(m, "BuilderOptions", "Options for building process") .def(py::init> const&>(), "Initialise with formulae to preserve", py::arg("formulae")) - .def(py::init(), "Initialise without formulae", py::arg("build_all_reward_models"), py::arg("build_all_labels")) + .def(py::init(), "Initialise without formulae", py::arg("build_all_reward_models")=true, py::arg("build_all_labels")=true) .def_property_readonly("preserved_label_names", &storm::builder::BuilderOptions::getLabelNames, "Labels preserved") .def("set_build_state_valuations", &storm::builder::BuilderOptions::setBuildStateValuations, "Build state valuations", py::arg("new_value")=true) .def("set_build_with_choice_origins", &storm::builder::BuilderOptions::setBuildChoiceOrigins, "Build choice origins", py::arg("new_value")=true) diff --git a/tests/storage/test_model.py b/tests/storage/test_model.py index 71dbbfa..6a640b1 100644 --- a/tests/storage/test_model.py +++ b/tests/storage/test_model.py @@ -157,7 +157,7 @@ class TestSparseModel: program, _ = stormpy.parse_jani_model(get_example_path("dtmc", "die.jani")) a = stormpy.FlatSet() - options = stormpy.BuilderOptions([]) + options = stormpy.BuilderOptions() options.set_build_with_choice_origins() model = stormpy.build_sparse_model_with_options(program, options) a = model.choice_origins.get_edge_index_set(3)