Skip to content

#424 Checker for verifying automata counts.

Albert Hofkamp requested to merge spec-check-aut-counts into develop

Addresses the Cif to PLC conversion at least.

Merge request reports