Preemption model compliance
All threads resolved!
All threads resolved!
Compare changes
In this MR, we prove that the ideal uniprocessor schedules that are implemented in prosa.implementation.definitions.ideal_uni_scheduler respect the preemption model.