#683 CIF codegen: configure linearization to be consistent with precondition check
requested to merge 683-cif-codegen-crashes-on-certain-models-with-multiple-initial-locations into develop
- Both check for automata having a single initial location. In both cases, allow considering variable values for this. Prevents crashes for models with multiple potential initial locations.
- Best to review per commit. I moved things separately from changing them.
- Additionally, there is a JavaDoc fix in
ElimLocRefExprs.
Closes #683 (closed)