Skip to content

1.4.2.md

Latest commit

 

History

History
5 lines (3 loc) · 574 Bytes

1.4.2.md

File metadata and controls

5 lines (3 loc) · 574 Bytes

1.4.2

Minor Analysis Improvements

  • Changes to the MaD model generation infrastructure: Changed the query java/utils/modelgenerator/summary-models to use the implementation from java/utils/modelgenerator/mixed-summary-models. Removed the now-redundant java/utils/modelgenerator/mixed-summary-models query. Similar replacement was made for java/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).