MPS issue job003935

TitleArenaAvail fails to check its result
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe result of ArenaAvail (and similar functions like ArenaScannable, ArenaCollectable etc.) must be non-negative, but these functions don't AVER it.
AnalysisNone
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2015-09-02 15:10:47
Last modified byGareth Rees
Last modified on2015-09-03 10:12:18
History2015-09-02 GDR Created.

Fixes

Change Effect Date User Description
188207 closed 2015-09-03 10:12:18 Gareth Rees AVER that results of ArenaAvail, ArenaCollectable and ArenaScannable are non-negative.