MPS issue job003482

TitleTest suite doesn't test error paths
Statusopen
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe test suite does not cover error paths. See [1] for an example from arena.c, but a look at the detailed coverage results shows that this is typical.
AnalysisRB suggests [2] that there could be a variety in which ResOK calls a function that can be instrumented by the test suite to predictably return failure codes.
How foundautomated_test
Evidence[1] <https://info.ravenbrook.com/mail/2013/05/15/18-39-24/0/>
[2] <https://info.ravenbrook.com/mail/2013/05/15/21-08-52/0/>
Observed in1.111.0
Created byGareth Rees
Created on2013-05-16 11:07:53
Last modified byGareth Rees
Last modified on2013-05-16 11:15:44
History2013-05-16 GDR Created.