search

UnB-CIC / sle-course

A Software Language Engineering Course using Rascal-MPL
2 stars 5 forks source link

deterministicTransitions #8

Closed luisamaralh closed 5 years ago

luisamaralh commented 5 years ago

The events must be distinct per state.