mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
36 lines
550 B
YAML
36 lines
550 B
YAML
# Copyright (c) Microsoft Corporation.
|
|
# Licensed under the MIT License.
|
|
|
|
cases:
|
|
- note: simple
|
|
data: {}
|
|
modules:
|
|
- |
|
|
package test
|
|
|
|
x[a] = b {
|
|
a = "hello"
|
|
b = "world"
|
|
}
|
|
query: data.test
|
|
want_result:
|
|
x:
|
|
"hello": "world"
|
|
|
|
- note: loop
|
|
data: {}
|
|
modules:
|
|
- |
|
|
package test
|
|
|
|
x[a] = b {
|
|
a = ["hello", "world"][_]
|
|
b = 1
|
|
}
|
|
query: data.test
|
|
want_result:
|
|
x:
|
|
"hello": 1
|
|
"world": 1
|
|
|