mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
22 lines
331 B
YAML
22 lines
331 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
|
|
report:
|
|
- covered: [3, 6]
|
|
not_covered: [5, 7]
|
|
|
|
|