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  }