The source project of this merge request has been removed.
#544 Event-based synthesis should allow specifications without requirements.
requested to merge (removed):544-event-based-synthesis-should-allow-specifications-without-requirements into develop