GuardrailAutomatedReasoningSatisfiableFinding

Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.

Types

An example scenario demonstrating how the claims could be logically false.

An example scenario demonstrating how the claims could be logically true.

Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.

The logical translation of the input that this finding evaluates.

open operator override fun equals(other: Any?): Boolean

open override fun hashCode(): Int

open override fun toString(): String