Closed ammen99 closed 4 years ago
Opening a separate PR with different bug fixes. Most of these are also in #173, however I think it would be better to merge these now so that other people can also write tests which don't focus on the scheduling aspect.
Opening a separate PR with different bug fixes. Most of these are also in #173, however I think it would be better to merge these now so that other people can also write tests which don't focus on the scheduling aspect.