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

Jump to bottom

Building JANI with choice labels is not supported #661

Open
TheGreatfpmK opened this issue Feb 2, 2025 · 2 comments · May be fixed by #662
Open

Building JANI with choice labels is not supported #661

TheGreatfpmK opened this issue Feb 2, 2025 · 2 comments · May be fixed by #662
Assignees
@sjunges

Comments

@TheGreatfpmK
Copy link
Contributor

Building JANI models with "--buildchoicelab" is not supported.

For example running:

./build/bin/storm --jani resources/examples/testfiles/ma/ftwc.jani --buildchoicelab

throws:

ERROR (JaniNextStateGenerator.cpp:57): JANI next-state generator cannot generate choice labels.
ERROR (storm-cli.cpp:63): An exception caused Storm to terminate. The message of the exception is: NotSupportedException: JANI next-state generator cannot generate choice labels.
@sjunges sjunges self-assigned this Feb 2, 2025
@sjunges
Copy link
Contributor

sjunges commented Feb 2, 2025

I think this should be reasonably easy to add. I will make a PR but I could use some help in testing that code.

@TheGreatfpmK
Copy link
Contributor Author

Sure, I have some JANI MDPs on which I can try it asap.

@sjunges sjunges linked a pull request Feb 2, 2025 that will close this issue
Draft
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sjunges sjunges

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Jani choicelab sjunges/storm
2 participants
@sjunges @TheGreatfpmK