Delete launch.json

2021-05-03 17:32:01 +08:00
parent 9e2b344bd2
commit 14c6b3e589
1 changed files with 0 additions and 20 deletions
@@ -1,20 +0,0 @@
-{
-    // 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": "java",
-            "name": "Launch Current File",
-            "request": "launch",
-            "classPaths": ["chocopy-ref.jar:target/assignment.jar"],
-            "mainClass": "chocopy.ChocoPy",
-            //"args": [ "--pass=rrs", "--test","--dir", "src/test/data/pa3/sample/list_set_element_oob_1.py"],
-            "args": [ "--pass=rrs", "--test","--dir", "test.py"],
-            "sourcePaths": []
-        }
-    ]
-}