From d9173435730fdce97ae4edd32b82f64df6e0aabe Mon Sep 17 00:00:00 2001
From: Rick Weber <rick@sunscreen.tech>
Date: Mon, 15 Nov 2021 10:37:04 -0800
Subject: [PATCH] Debug tests

---
 .vscode/launch.json | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/.vscode/launch.json b/.vscode/launch.json
index 73c4ff27a..4183a1b01 100644
--- a/.vscode/launch.json
+++ b/.vscode/launch.json
@@ -18,6 +18,24 @@
             },
             "args": [],
             "cwd": "${workspaceFolder}"
+        },
+        {
+            "type": "lldb",
+            "request": "launch",
+            "name": "Debug assumption tests in library 'seal'",
+            "cargo": {
+                "args": [
+                    "test",
+                    "--no-run",
+                    "--package=seal"
+                ],
+                "filter": {
+                    "name": "assumptions",
+                    "kind": "test"
+                }
+            },
+            "args": [],
+            "cwd": "${workspaceFolder}"
         }
     ]
 }
\ No newline at end of file