Values.AutomatedReasoningPolicyScenarioSourceRepresents a test scenario used to validate an Automated Reasoning policy, including the test conditions and expected outcomes.
type nonrec t = {expression : AutomatedReasoningPolicyScenarioExpression.t option;The logical expression or condition that defines this test scenario.
*)alternateExpression : AutomatedReasoningPolicyScenarioAlternateExpression.t
option;An alternative way to express the same test scenario, used for validation and comparison purposes.
*)expectedResult : AutomatedReasoningCheckResult.t option;The expected outcome when this scenario is evaluated against the policy (e.g., PASS, FAIL, VIOLATION).
*)ruleIds : AutomatedReasoningPolicyDefinitionRuleIdList.t option;The list of rule identifiers that are expected to be triggered or evaluated by this test scenario.
*)}val to_value :
t ->
[> `Structure of
(string
* [> `Enum of string
| `List of
[> `String of AutomatedReasoningPolicyDefinitionRuleId.t ] list
| `String of AutomatedReasoningPolicyScenarioExpression.t ])
list ]