test: extend the debug launch target a bit

sillydan1 · Apr 15, 2023 · e05e8c7 · e05e8c7
1 parent 5548c8d
commit e05e8c7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -19,7 +19,9 @@
             "args": [ 
                 "-f", "../test/verification/fischer-suite/fischer-2/",
                 "-q", "../test/verification/fischer-suite/fischer-2/Queries.json",
-                "-i", ".*\\.ignore.*"
+                "-i", ".*\\.ignore.*",
+                "-t", "/dev/null",
+                "-v", "6"
             ]
         }
     ]