Default parameters for BuilderOptions

moves-rwth · Jun 8, 2020 · 7015a4c · 7015a4c
1 parent 0cb3f0c
commit 7015a4c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/core/core.cpp b/src/core/core.cpp
@@ -113,7 +113,7 @@ void define_build(py::module& m) {
 
     py::class_<storm::builder::BuilderOptions>(m, "BuilderOptions", "Options for building process")
             .def(py::init<std::vector<std::shared_ptr<storm::logic::Formula const>> const&>(), "Initialise with formulae to preserve", py::arg("formulae"))
-            .def(py::init<bool, bool>(), "Initialise without formulae", py::arg("build_all_reward_models"), py::arg("build_all_labels"))
+            .def(py::init<bool, bool>(), "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
@@ -157,7 +157,7 @@ def test_choice_origins(self):
         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)