Skip to content

#683 CIF codegen: configure linearization to be consistent with precondition check

  • 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)

Merge request reports