MPS issue job003482

TitleTest suite doesn't test error paths
Assigned userGareth Rees
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] <>
[2] <>
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.