1{
 2    // Use IntelliSense to learn about possible attributes.
 3    // Hover to view descriptions of existing attributes.
 4    // For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
 5    "version": "0.2.0",
 6    "configurations": [
 7        {
 8            "type": "pwa-node",
 9            "request": "launch",
10            "name": "Launch Program",
11            "skipFiles": [
12                "<node_internals>/**"
13            ],
14            "program": "${workspaceFolder}/calcoptimizedposeidonconsts/test_poseidon.js",
15            "cwd": "${workspaceFolder}/calcoptimizedposeidonconsts"
16        },
17        {
18            "type": "pwa-node",
19            "request": "launch",
20            "name": "Tests",
21            "skipFiles": [
22                "<node_internals>/**"
23            ],
24            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
25            "cwd": "${workspaceFolder}",
26            "args": ["test/smtverifier.js"]
27        },
28        {
29            "type": "pwa-node",
30            "request": "launch",
31            "name": "Test Poseidon",
32            "skipFiles": [
33                "<node_internals>/**"
34            ],
35            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
36            "cwd": "${workspaceFolder}",
37            "args": ["test/poseidoncircuit.js"]
38        },
39        {
40            "type": "pwa-node",
41            "request": "launch",
42            "name": "Test binsum",
43            "skipFiles": [
44                "<node_internals>/**"
45            ],
46            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
47            "cwd": "${workspaceFolder}",
48            "args": ["test/binsum.js"]
49        },
50        {
51            "type": "pwa-node",
52            "request": "launch",
53            "name": "Test babyjub",
54            "skipFiles": [
55                "<node_internals>/**"
56            ],
57            "program": "${workspaceFolder}/node_modules/mocha/bin/_mocha",
58            "cwd": "${workspaceFolder}",
59            "args": ["test/babyjub.js"]
60        }
61
62    ]
63}