state-like variable names option
Detected in build:
Published in build:
Add the new command-line option for CGAA-to-EFSM transformer that keeps a list of state-like variable names.
If specified, this option disables an heuristic-based approach to state-like variable extraction.