| Title | SNC not tested by main test suite |
| Status | closed |
| Priority | optional |
| Assigned user | Gareth Rees |
| Organization | Ravenbrook |
| Description | Pool class SNC is not tested by the main test suite. |
| Analysis | The only test case to which SNC could be added appears to be walkt0. (It can't be added to apss or mpmss because it doesn't support mps_free interface.) Note: sncss fails with seed 1817331918. |
| How found | inspection |
| Evidence | None |
| Test procedure | sncss |
| Created by | Gareth Rees |
| Created on | 2014-10-11 12:10:30 |
| Last modified by | Gareth Rees |
| Last modified on | 2014-10-20 17:16:25 |
| History | 2014-10-11 GDR Created. |
| Change | Effect | Date | User | Description |
|---|---|---|---|---|
| 187216 | closed | 2014-10-11 18:06:05 | Gareth Rees | Make walkt0 test case much more stringent: it now checks the size and count of the objects found in the walk. Add SNC to the walkt0 test case. |