mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
21 lines
304 B
YAML
21 lines
304 B
YAML
# Copyright (c) Microsoft Corporation.
|
|
# Licensed under the MIT License.
|
|
|
|
cases:
|
|
- note: basic
|
|
modules:
|
|
- |
|
|
package test
|
|
|
|
x = 1
|
|
|
|
y = k {
|
|
input.x == 5
|
|
k = input.k
|
|
}
|
|
query: data.test
|
|
uncovered: [
|
|
[ 5, 7 ]
|
|
]
|
|
|