+* Changes to the MaD model generation infrastructure: Changed the query `cpp/utils/modelgenerator/summary-models` to use the implementation from `cpp/utils/modelgenerator/mixed-summary-models`. Removed the now-redundant `cpp/utils/modelgenerator/mixed-summary-models` query. Similar replacement was made for `cpp/utils/modelgenerator/neutral-models`. That is, if `GenerateFlowModel.py` is provided with `--with-summaries` combined/mixed models are now generated instead of heuristic models (and similar for `--with-neutrals`).
0 commit comments