MPS issue job003973

TitlerootCreate doesn't check its mode argument
Assigned userGareth Rees
DescriptionSix MMQA argerr tests (107, 108, 109, 122, 123, 124) failed in the hot variety [1].
AnalysisrootCreate takes a mode argument but does not AVERT(RootMode, mode). Note that this won't make the tests pass because RootMode is not a structure type and so has no signature and so AVERT(RootMode, mode) does nothing in the hot variety. But it is worth doing anyway, to get better assertions in the cool variety.
How foundautomated_test
Evidence[1] <>
Created byGareth Rees
Created on2016-03-07 13:39:14
Last modified byGareth Rees
Last modified on2016-03-07 15:26:57
History2016-03-07 GDR Created.


Change Effect Date User Description
189708 closed 2016-03-07 15:26:57 Gareth Rees Check root mode argument to root creation functions.