Skip to content

#269 Small improvements in CIF/BDD plugin

Dennis Hendriks requested to merge 269-cifbdd-and-datasynth-small-improvements into develop
  • Best to review per commit.
  • Changes:
    • BddOutputMode: fixed typo in JavaDoc.
    • Add test to keep CifBddStatistics and SynthesisStatistics in sync.
    • Improved test order sorting in test-all launch config.
    • Some test launch configs got automatically upgraded by Eclipse.

Addresses #269

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent