TestCase::1_return_verdictkind The type of return parameter of the stereotyped model element shall be VerdictKind. (note this is consistent with the UML Testing Profile). Source OMG Systems Modeling Language (SysML) 1.6
