Skip to content

1.4.2.md

Latest commit

 

History

History
8 lines (6 loc) · 589 Bytes

1.4.2.md

File metadata and controls

8 lines (6 loc) · 589 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.
    • A 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).