#601 Addressing some small follow-ups for the sequencing algorithm (!626) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Dennis Hendriks requested to merge 601-sequencing-algorithm-small-followups into develop Aug 08, 2023

I last reviewed it before I went on holidays. It since got merged, but I found a few small things in the commits added since I last reviewed, and some of my comments weren't completely addressed. I addressed all that here.

Closes #601 (closed)

#601 Addressing some small follow-ups for the sequencing algorithm

Merge request reports