src/tools/miri/priroda/tests/ui/dap_initialize.stdout

Content-Length: {CONTENT_LENGTH}

{"seq":1,"type":"response","request_seq":1,"success":true,"command":"initialize","body":{"supportsConfigurationDoneRequest":true,"supportsSingleThreadExecutionRequests":true},"error":null}Content-Length: {CONTENT_LENGTH}

{"seq":2,"type":"event","event":"initialized"}