#553 Event-based synthesis: warn if no requirement automata.

Dennis Hendriksrequested to merge
553-event-based-synthesis-tool-should-warn-about-synthesizing-specifications-without-requirements into develop
  • Also fixed a JavaDoc.
  • Also added some section comments.
  • Also removed an inconsistent empty source code line.

Closes #553 (closed)

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent