Skip to content
Test

added option to not automatically set initial state #360

Sign in to view logs

added option to not automatically set initial state

added option to not automatically set initial state #360

Triggered via push November 3, 2024 09:26
@PimLeerkesPimLeerkes
pushed 1468e37
122-stormpy-to-stormvogel-mapping-assumes-state-0-is-the-initial-state
Status Success
Total duration 2m 9s
Artifacts –

test.yml

on: push
test
2m 0s
test
Fit to window
Zoom out
Zoom in