Skip to content

#714 CIF state annotations: ensure all state annotations within an automaton are different

  • Best to review per commit.
  • I opted for a value-based equality/hash wrapper, as that prevents false positives.

Closes #714 (closed)

Merge request reports