Skip to content

Adding support for labels inside labels#193

Open
maxkurze1 wants to merge 7 commits into
prismmodelchecker:masterfrom
maxkurze1:label-evaluation
Open

Adding support for labels inside labels#193
maxkurze1 wants to merge 7 commits into
prismmodelchecker:masterfrom
maxkurze1:label-evaluation

unittests for labels inside labels and guards

ed6f0c4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs