search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

optionally warn when a transition has an empty set of events #20

Open rgrig opened 12 years ago

rgrig commented 12 years ago

The user probably wants to know if a transition is never enabled on a certain project.

We could also optimize away such transitions.