PrismCL: Allow overriding the model type to a game (STPG, SMG)#2
Open
kleinj wants to merge 1 commit intoprismmodelchecker:masterfrom
Open
PrismCL: Allow overriding the model type to a game (STPG, SMG)#2kleinj wants to merge 1 commit intoprismmodelchecker:masterfrom
kleinj wants to merge 1 commit intoprismmodelchecker:masterfrom
