Type alias TestCaseVerdict

TestCaseVerdict: DataLogType & {
    verdict: ProblemVerdict;
}

Type declaration