MPS issue job003879

TitleSNC not tested by main test suite
Assigned userGareth Rees
DescriptionPool class SNC is not tested by the main test suite.
AnalysisThe 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 foundinspection
Test proceduresncss
Created byGareth Rees
Created on2014-10-11 12:10:30
Last modified byGareth Rees
Last modified on2014-10-20 17:16:25
History2014-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.