Skip to content

Fix Initial States and Transitions Strings in GUI#283

Open
Animeboynz wants to merge 1 commit into
prismmodelchecker:masterfrom
Animeboynz:master
Open

Fix Initial States and Transitions Strings in GUI#283
Animeboynz wants to merge 1 commit into
prismmodelchecker:masterfrom
Animeboynz:master

Fix Initial States and Transitions Strings in GUI

5bc32d9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build (21, macos-latest)
succeeded May 28, 2026 in 4m 56s