{
    "version": "0.2.0",
    "configurations": [
        {
            "type": "lldb",
            "request": "launch",
            "name": "Debug executable 'ic3'",
            "cargo": {
                "args": [
                    "build",
                    "--release",
                    "--bin=rIC3",
                    "--package=rIC3"
                ],
                "filter": {
                    "name": "rIC3",
                    "kind": "bin"
                }
            },
            "args": [],
            "cwd": "${workspaceFolder}"
        }
    ]
}