model/task/preemption/parameters.v · 19d28be0e32827b608b00ce2e7fb76eea891f488 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Blame

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

3 years ago

19d28be0

change [job_task j = tsk] to [job_of_task tsk j] · 19d28be0

Sergey Bozhko authored 3 years ago and

Björn Brandenburg committed 3 years ago

There are quite a few places where hypotheses about the task of a job are simply stated as equality (even though a proper predicate exists). This patch replaces the equalities with the predicate.

19d28be0

History

change [job_task j = tsk] to [job_of_task tsk j]

Sergey Bozhko authored 3 years ago and

Björn Brandenburg committed 3 years ago

There are quite a few places where hypotheses about the task of a job are simply stated as equality (even though a proper predicate exists). This patch replaces the equalities with the predicate.