Skip to content

remove [sequential_tasks] assumption in one proof

Sergey Bozhkorequested to merge
sbozhko/rt-proofs:remove-assumption into master

This removes assumption sequential_tasks from lemma cumulative_task_interference_split

Merge request reports