VIATRA-Generator icon indicating copy to clipboard operation
VIATRA-Generator copied to clipboard

Published 20 hours ago • verified publisher icon viatra

VAMPIRE: Integrate Initial Instance Model Handling

Open ArenBabikian opened this issue 5 years ago • 3 comments

Particularly, specify initial instance model handling while maintaining handling of enums.

ArenBabikian avatar Apr 15 '19 05:04 ArenBabikian