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
