| Title | Thread-handling functions could do more checking |
| Status | open |
| Priority | nice |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | NB suggests that mapThreadRing could return a count of the alive threads; we could assert some facts about this number. |
| Analysis | To do. |
| How found | inspection |
| Evidence | None |
| Created by | Gareth Rees |
| Created on | 2018-06-14 12:18:09 |
| Last modified by | Gareth Rees |
| Last modified on | 2018-06-14 12:18:09 |
| History | 2018-06-14 GDR Created. |