Perform data-based synthesis on multilevel partial specifications
#319 Seems to be coming to an end, next step is performing data synthesis on the partial specifications.
A few initial discussions:
- Input variables in the result: https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/696#note_1567631
- Empty specifications in the result: https://gitlab.eclipse.org/eclipse/escet/escet/-/merge_requests/696#note_1567632
Addresses #318
issue