AutomatedReasoningCheckSatisfiableFinding
Indicates that the claims could be either true or false depending on additional assumptions not provided in the input.
Contents
- claimsFalseScenario
-
An example scenario demonstrating how the claims could be logically false.
Type: AutomatedReasoningCheckScenario object
Required: No
- claimsTrueScenario
-
An example scenario demonstrating how the claims could be logically true.
Type: AutomatedReasoningCheckScenario object
Required: No
- logicWarning
-
Indication of a logic issue with the translation without needing to consider the automated reasoning policy rules.
Type: AutomatedReasoningCheckLogicWarning object
Required: No
- translation
-
The logical translation of the input that this finding evaluates.
Type: AutomatedReasoningCheckTranslation object
Required: No
See Also
For more information about using this API in one of the language-specific AWS SDKs, see the following:
