Skip to content

Reorganize the parsing to avoid issues with the standard output with the option UserDefinedStates.

Nicolas Tancogne-Dejeanrequested to merge
fix_user_defined_state into main

Description

Reorganize the parsing to avoid issues with the standard output with the option UserDefinedStates.

Closes #582 (closed).

Merge request reports