Skip to content

remove [sequential_tasks] assumption in one proof

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

This removes assumption sequential_tasks from lemma cumulative_task_interference_split

Merge request reports