# 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]