mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
33 lines
605 B
YAML
33 lines
605 B
YAML
# Copyright (c) Microsoft Corporation.
|
|
# Licensed under the MIT License.
|
|
|
|
cases:
|
|
- note: simple
|
|
data: {}
|
|
modules:
|
|
- |
|
|
package test
|
|
import future.keywords
|
|
tbl contains name if {
|
|
name = ["a", "b", "c"][_]
|
|
}
|
|
query: data.test
|
|
want_result:
|
|
tbl:
|
|
set!: ["c", "b", "a"]
|
|
|
|
- note: arithmetic
|
|
data: {}
|
|
modules:
|
|
- |
|
|
package test
|
|
import future.keywords
|
|
tbl contains x + 10 if {
|
|
x = [1, 2, 3][_]
|
|
}
|
|
query: data.test
|
|
want_result:
|
|
tbl:
|
|
set!: [11, 12, 13]
|
|
|