{
  "entry_point": "./tests/tests/range_check/assert_gt.zok",
  "max_constraint_count": 508,
  "curves": ["Bn128"],
  "tests": [
    {
      "input": {
        "values": ["0"]
      },
      "output": {
        "Err": {
          "UnsatisfiedConstraint": {
            "error": {
              "SourceAssertion": {
                "file": "./tests/tests/range_check/assert_gt.zok",
                "position": {
                  "line": 2,
                  "col": 5
                }
              }
            }
          }
        }
      }
    },
    {
      "input": {
        "values": ["1"]
      },
      "output": {
        "Err": {
          "UnsatisfiedConstraint": {
            "error": {
              "SourceAssertion": {
                "file": "./tests/tests/range_check/assert_gt.zok",
                "position": {
                  "line": 2,
                  "col": 5
                }
              }
            }
          }
        }
      }
    },
    {
      "input": {
        "values": ["2"]
      },
      "output": {
        "Err": {
          "UnsatisfiedConstraint": {
            "error": {
              "SourceAssertion": {
                "file": "./tests/tests/range_check/assert_gt.zok",
                "position": {
                  "line": 2,
                  "col": 5
                }
              }
            }
          }
        }
      }
    },
    {
      "input": {
        "values": ["15"]
      },
      "output": {
        "Ok": {
          "value": []
        }
      }
    }
  ]
}
