{
    // Use IntelliSense to learn about possible attributes.
    // Hover to view descriptions of existing attributes.
    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
    "version": "0.2.0",
    "configurations": [
        {
            "type": "pwa-node",
            "request": "launch",
            "name": "Launch Program",
            "skipFiles": [
                "<node_internals>/**"
            ],
            "program": "${workspaceFolder}/calcoptimizedposeidonconsts/test_poseidon.js",
            "cwd": "${workspaceFolder}/calcoptimizedposeidonconsts"
        },
        {
            "type": "pwa-node",
            "request": "launch",
            "name": "Tests",
            "skipFiles": [
                "<node_internals>/**"
            ],
            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
            "cwd": "${workspaceFolder}",
            "args": ["test/smtverifier.js"]
        },
        {
            "type": "pwa-node",
            "request": "launch",
            "name": "Test Poseidon",
            "skipFiles": [
                "<node_internals>/**"
            ],
            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
            "cwd": "${workspaceFolder}",
            "args": ["test/poseidoncircuit.js"]
        },
        {
            "type": "pwa-node",
            "request": "launch",
            "name": "Test binsum",
            "skipFiles": [
                "<node_internals>/**"
            ],
            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
            "cwd": "${workspaceFolder}",
            "args": ["test/binsum.js"]
        },
        {
            "type": "pwa-node",
            "request": "launch",
            "name": "Test babyjub",
            "skipFiles": [
                "<node_internals>/**"
            ],
            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
            "cwd": "${workspaceFolder}",
            "args": ["test/babyjub.js"]
        }

    ]
}