-
Notifications
You must be signed in to change notification settings - Fork 1
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.
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
test PRISM input models #87
Comments
@xhajnal import stormpy
try:
prism_program = stormpy.parse_prism_program(prism_model_file)
except Exception as ex:
print(f"Error parsing prism program {ex}") change too broad Exception to the proper one |
@huypn12 TBD trace report of the Stormpy build error (currently unavailable) |
i meant for testing if PRISM input models is syntactically valid.
If you need to use Stormpy, you need Storm in the first place. Once Storm is installed and registered in the system library path, you can use Pipenv and add the following line |
Only a few models were tested, and parser may fail with even correct models since PRISM does not have a grammar of model structure
The text was updated successfully, but these errors were encountered: