Skip to content
Test

changed back the stormpydtmc example #361

Sign in to view logs

changed back the stormpydtmc example

changed back the stormpydtmc example #361

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

test.yml

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