mirror of
https://github.com/microsoft/regorus.git
synced 2026-08-05 02:16:11 +00:00
Policy Coverage (#149)
Signed-off-by: Anand Krishnamoorthi <anakrish@microsoft.com>
This commit is contained in:
committed by
GitHub
parent
f3d9652a73
commit
d3d5367fd4
@@ -14,7 +14,8 @@ cases:
|
||||
k = input.k
|
||||
}
|
||||
query: data.test
|
||||
uncovered: [
|
||||
[ 5, 7 ]
|
||||
]
|
||||
report:
|
||||
- covered: [3, 6]
|
||||
not_covered: [5, 7]
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user