restructuring/behavior/schedule.v · a63ca8f79bf06b9a892e8b74b355b395306e5e48 · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

5 years ago
a63ca8f7
make definition of completed_jobs_dont_execute uniform · a63ca8f7
Björn Brandenburg authored 5 years ago
```
Make it a statement about scheduled jobs, to match the neighboring
definitions.
```
a63ca8f7

History
make definition of completed_jobs_dont_execute uniform
Björn Brandenburg authored 5 years ago
```
Make it a statement about scheduled jobs, to match the neighboring
definitions.
```