An error occurred while fetching folder content.
Jan Trávníček
authored
the generator is parametrized with number of states, initial states, and final
states; additionally duplicate, redundant, unreachable states are generated
transition function is filled in transition partitions:
{state, unreachable, redundant} vs {state, unreachable, redundant} Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||