Fixed deprecation warnings on Hint Resolve (!137) · Merge requests · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

The source project of this merge request has been removed.

Ghost User requested to merge (removed):hint-warnings-fix into master Jul 26, 2021

The default value for hint locality is currently "local" in a section and "global" otherwise, but is scheduled to change in a future release. For the time being, adding hints outside of sections without specifying an explicit locality is therefore deprecated.

All of our hints happen to be outside sections, so I specified "Global".

Fixes: #69 (closed)

Edited Jul 26, 2021 by Björn Brandenburg

Fixed deprecation warnings on Hint Resolve

Merge request reports