Skip to content
Test

normalize, delete_state, is_well_defined and get_outgoing_transitions… #281

Sign in to view logs

normalize, delete_state, is_well_defined and get_outgoing_transitions…

normalize, delete_state, is_well_defined and get_outgoing_transitions… #281

Triggered via push September 28, 2024 17:58
@PimLeerkesPimLeerkes
pushed 87e9044
94-unable-to-transform-model-with-deleted-states-into-stormpy-model
Status Failure
Total duration 2m 7s
Artifacts –

test.yml

on: push
test
1m 56s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 23.