| Title | mps_arena_pause_time and mps_arena_pause_time_set are not covered |
| Status | open |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | The test cases (in particular, mpsicv) do not cover mps_arena_pause_time and mps_arena_pause_time_set. |
| Analysis | None as yet. |
| How found | inspection |
| Evidence | None as yet. |
| Created by | Gareth Rees |
| Created on | 2016-04-15 10:42:59 |
| Last modified by | Gareth Rees |
| Last modified on | 2016-04-15 10:42:59 |
| History | 2016-04-15 GDR Created. |