Wp.AssignsCompletenessSourceThis module is used to check the assigns specification of a given function so that if it is not precise enough to enable precise memory models hypotheses computation, the assigns specification is considered incomplete.
All these functions are memoized.
Displays a warning if the given kernel function has incomplete assigns. Note that the warning is configured with ~once set to true.