| Title | ArenaAvail fails to check its result |
| Status | closed |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The result of ArenaAvail (and similar functions like ArenaScannable, ArenaCollectable etc.) must be non-negative, but these functions don't AVER it. |
| Analysis | None |
| How found | inspection |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2015-09-02 15:10:47 |
| Last modified by | Gareth Rees |
| Last modified on | 2015-09-03 10:12:18 |
| History | 2015-09-02 GDR Created. |
| 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. |