{
  "id": "literal-out-of-range",
  "title": "Literal exceeds the declared variable count",
  "input": {
    "path": "formats/dimacs-cnf/cases/literal-out-of-range/input.txt",
    "text": "p cnf 3 1\n1 4 0\n"
  },
  "params": [],
  "commands": {
    "readJson": "iris read formats/dimacs-cnf/dimacs-cnf.iris formats/dimacs-cnf/cases/literal-out-of-range/input.txt --json",
    "readDzn": "iris read formats/dimacs-cnf/dimacs-cnf.iris formats/dimacs-cnf/cases/literal-out-of-range/input.txt --dzn",
    "readSummary": "iris read formats/dimacs-cnf/dimacs-cnf.iris formats/dimacs-cnf/cases/literal-out-of-range/input.txt --summary",
    "errorJson": "iris-driver read formats/dimacs-cnf/dimacs-cnf.iris formats/dimacs-cnf/cases/literal-out-of-range/input.txt --params '{}'"
  },
  "result": {
    "kind": "error",
    "json": "{\"code\":\"E-EXPECTED-VALUE\",\"message\":\"expected an int in -3..3, found '4'\",\"input_location\":{\"origin\":\"formats/dimacs-cnf/cases/literal-out-of-range/input.txt\",\"line\":2,\"column\":3},\"spec_location\":{\"origin\":\"formats/dimacs-cnf/dimacs-cnf.iris\",\"line\":7,\"column\":null},\"context\":\"repeat [1 of 1] > clause\",\"record_path\":null}",
    "diagnostic": "formats/dimacs-cnf/cases/literal-out-of-range/input.txt:2:3: expected an int in -3..3, found '4'\n     2 | 1 4 0\n       |   ^\nwhile reading: repeat [1 of 1] > clause\nspec: formats/dimacs-cnf/dimacs-cnf.iris:7\n"
  },
  "catalog": null,
  "downloads": {
    "input": "/examples/formats/dimacs-cnf/cases/literal-out-of-range/input.txt",
    "spec": "/examples/formats/dimacs-cnf/dimacs-cnf.iris",
    "error.json": "/examples/formats/dimacs-cnf/cases/literal-out-of-range/error.json",
    "error.txt": "/examples/formats/dimacs-cnf/cases/literal-out-of-range/error.txt",
    "case": "/examples/formats/dimacs-cnf/cases/literal-out-of-range/case.json"
  },
  "spec": {
    "path": "formats/dimacs-cnf/dimacs-cnf.iris",
    "text": "format dimacs-cnf\n\ncomment \"c\"\nstop \"%\" # SATLIB files end with \"%\" and \"0\"\nline \"p cnf {vars:0..gecode.int_max} {clauses:0..}\"\nrepeat clauses {\n  list clause: -vars..vars until 0 # the terminating 0 is not stored\n}\n"
  }
}