Skip to content
Build Test

Added a test for setting undefined constants in Prism program #350

Sign in to view logs

Added a test for setting undefined constants in Prism program

Added a test for setting undefined constants in Prism program #350

Triggered via pull request November 15, 2023 16:37
@volkmvolkm
opened #139
volkm:constants_prism
Status Success
Total duration 21m 6s
Artifacts –

buildtest.yml

on: pull_request
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
4s
Email notification
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Test on stable (Debug): setup.py#L82
Stormpy is incompatible with stable version of Storm
Test on stable (Release): setup.py#L82
Stormpy is incompatible with stable version of Storm