File size: 903 Bytes
41321ce
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
{
  "model": "code",
  "state": {
    "task": "The unit tests in tests/test_parser.py fail after the last change. Find out why and fix it.",
    "recent_steps": "bash: python -m pytest tests/test_parser.py -q -> FAILED tests/test_parser.py::test_dates - AttributeError: 'NoneType' object has no attribute 'group' (src/parser.py:42)"
  },
  "questions": {
    "tool": {
      "type": "choice",
      "instructions": "Gather what the coding model will need for its next step, and hand over as soon as more looking would not help. Which tool should run next?",
      "criteria": {
        "read": "Read: read a file, or a slice of it around a line named in an error",
        "search": "Search: search the code for a name or an error message",
        "check": "Check: see whether a program or package is installed",
        "hand_over": "Hand over: let the coding model take its turn"
      }
    }
  }
}