mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
2436467fbd
* specific functions added to eval different rego components Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * allow multiple inputs and results Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * prepare_for_eval is necessary to be called Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * test with the suggested code examples and clean scopes Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * try to refactor first steps of evaluations Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * improve coverage and fix clean state internal evaluation Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * add getters and setters and fix clean function Signed-off-by: eric-therond <eric.therond.fr@gmail.com> * Tests are single input by default. Multi input specified via "many!" marker. Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> --------- Signed-off-by: eric-therond <eric.therond.fr@gmail.com> Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com> Co-authored-by: eric-therond <eric.therond.fr@gmail.com>
34 lines
548 B
YAML
34 lines
548 B
YAML
# Copyright (c) Microsoft Corporation.
|
|
# Licensed under the MIT License.
|
|
|
|
cases:
|
|
- note: input-multiple-1
|
|
data: {}
|
|
input:
|
|
many!:
|
|
- { x: 1 }
|
|
- { x: 5 }
|
|
modules:
|
|
- |
|
|
package test
|
|
|
|
x[a] {
|
|
a = y
|
|
}
|
|
|
|
y[a] {
|
|
a = input.x + 5
|
|
}
|
|
|
|
query: data.test
|
|
want_result:
|
|
many!:
|
|
- y:
|
|
set!: [6]
|
|
x:
|
|
set!: [ set!: [6] ]
|
|
- y:
|
|
set!: [10]
|
|
x:
|
|
set!: [ set!: [10] ]
|