Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bugfix in parse_properties #198

Merged
merged 10 commits into from
Dec 16, 2024
Merged

Bugfix in parse_properties #198

Changes from all commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
04362be
first version of documentation for simulators
sjunges May 19, 2022
c20112a
some ADD support, improved valuation support, towards access for resu…
sjunges Jan 2, 2024
a49dba3
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Jan 3, 2024
8c6ecc5
update
sjunges May 22, 2024
a23b688
rational function inclusion to reflect changes in main storm
sjunges May 22, 2024
f7fb788
recent changes in storm
sjunges May 23, 2024
34415ef
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Sep 25, 2024
498c3a5
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Sep 27, 2024
95099cd
Merge branch 'master' of https://github.com/moves-rwth/stormpy
sjunges Nov 9, 2024
2a3b38e
fix parse_properties
sjunges Dec 16, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion lib/stormpy/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -615,7 +615,7 @@ def parse_properties(properties, context=None, filters=None):
if context is None:
return core.parse_properties_without_context(properties, filters)
elif type(context) == core.SymbolicModelDescription:
if context.is_prism_program():
if context.is_prism_program:
return core.parse_properties_for_prism_program(properties, context.as_prism_program(), filters)
else:
return core.parse_properties_for_jani_program(properties, context.as_jani_model(), filters)
Expand Down
Loading