Abbreviation

NoVerdict

Description

This rule checks if the Testcase returns a parameter typed by the VerdictKind.

Severity

warning

Constrained Element

Behavior, Operation

Solvers

Create Verdict - creates return parameter typed by the VerdictKind.

Example