bugfix for Expression.Disjunction: was a conjunction before #380
sjungesbuildtest.yml
on: pull_request
Matrix: deploy
Matrix: indepthTests
Matrix: stableTest
Email notification
5s
Annotations
2 warnings
|
Test on stable (Release):
setup.py#L82
Stormpy is incompatible with stable version of Storm
|
|
Test on stable (Debug):
setup.py#L82
Stormpy is incompatible with stable version of Storm
|