Check if the number of states and transitions are the same

Description

None

Environment

None

Assignee

Philipp Koerner

Reporter

Jens Bendisposto

Priority

Major