Giters

UnB-CIC / sle-course

A Software Language Engineering Course using Rascal-MPL

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

deterministicTransitions

luisamaralh opened this issue · comments

commented

The events must be distinct per state.